Update changes in menu values

2022-12-21 16:08:22 +00:00
parent 03c945d189
commit 91d65094c9
4 changed files with 14 additions and 11 deletions
@@ -24,9 +24,7 @@ data SelectionList = SelectionList
    }

 data SelectionItemIndex = ListedSelectionItem Int
-    | DummySelectionItem
-    | ScrollUpSelectionItem
-    | ScrollDownSelectionItem
+    | ScrollSelectionItem
    | SpecialSelectionItem

 data SpecialSelectionItem = NoSpecialSelectionItem