definition module EditorExt

from iTasks.UI.Editor import :: Editor

row :: String (Editor a) -> Editor a

choose :: [(String, Editor a)] -> Editor (Int, a)