old/malfunctioning_dropdowns/test.icl

   1 module test
   2
   3 import iTasks
   4
   5 import iTasks.UI.Editor
   6 import iTasks.UI.Editor.Containers
   7 import iTasks.UI.Editor.Controls
   8 import iTasks.UI.Editor.Generic
   9 import iTasks.UI.Editor.Common
  10 import iTasks.UI.Editor.Modifiers
  11
  12 derive class iTask P
  13 :: P = Z | S P
  14
  15 Start w = startEngine (enterInformation () [EnterUsing id e]) w
  16 where
  17     e :: Editor P
  18     e = bijectEditorValue (\i->(0,i)) snd
  19         (containerc (chooseWithDropdown ["Z", "S"])
  20             [ (const Z, emptyEditor)
  21             , (S, bijectEditorValue S (\(S p)->p) e)])