λgitsite

Move SSD page rotation state to typed Kotlin

ober

bdb461878377e7150090415f846e30db2a87f319

diff --git a/templates/ssd-review.ss b/templates/ssd-review.ss
index 76087a6..350057a 100644
--- a/templates/ssd-review.ss
+++ b/templates/ssd-review.ss
@@ -4678,6 +4678,7 @@
                 mainActivitySetPageIndex mainActivitySetPdfIdentity
                 mainActivitySetLoadedPdfState
                 mainActivityAdvanceLoadGeneration
+                mainActivityRotateReviewPage
                 mainActivitySetTruthStore mainActivitySetStatusView
                 mainActivitySetReviewView
                 truthStoreApplyTruthAndPrune
@@ -4782,6 +4783,8 @@
           (kotlin-member-call applyTruth))
         (extern (reviewViewCaptureViewport (view : SsdReviewView)) : (Nullable ViewportState)
           (kotlin-member-call captureViewport))
+        (extern (reviewViewRotateClockwise (view : SsdReviewView)) : Unit
+          (kotlin-member-call rotateClockwise))
         (extern (reviewViewSelectedGroupIdSet (view : SsdReviewView)
                                               (id : (Nullable String))) : Unit
           (kotlin-member-set selectedGroupId))
@@ -5636,6 +5639,14 @@
             (begin
               (mainActivityLoadGenerationSet activity next)
               next)))
+        (def (mainActivityRotateReviewPage
+               (activity : MainActivity)
+               (view : SsdReviewView)
+               (currentGeneration : Int32)) : Unit
+          (begin
+            (mainActivityAdvanceLoadGeneration activity currentGeneration)
+            (reviewViewRotateClockwise view)
+            (begin)))
         (def (mainActivitySetTruthStore (activity : MainActivity)
                                         (store : TruthStore)) : Unit
           (mainActivityTruthStoreSet activity store))
@@ -7481,8 +7492,7 @@
 	       "    }"
        ""
        "    private fun rotatePage() {"
-       "        mainActivityAdvanceLoadGeneration(this, loadGeneration)"
-       "        reviewView.rotateClockwise()"
+       "        mainActivityRotateReviewPage(this, reviewView, loadGeneration)"
        "        val session = currentSession"
        "        setStatus(rotatedPageStatus(session))"
        "    }"