metaeditor/EditorExt.dcl

   1 definition module EditorExt
   2
   3 from iTasks.UI.Editor import :: Editor
   4
   5 row :: String (Editor a) -> Editor a
   6
   7 choose :: [(String, Editor a)] -> Editor (Int, a)