--Generated automatically by GuiSurfer
module GuiModelClientDBjava1ContactEditor where
import Data.Map
import GuiTypes
guimodelContactEditor :: GuiModel
guimodelContactEditor = fromList
[
(("Cancel","cond1"),[]),
(("Ok","cond2"),[]),
(("init","condInit1"),[1,2,3,4,5,6,7,8,9]),
(("init","condInit2"),[10,11,3,4,5,6,7,8,9])
]
presContactEditor :: Pres
presContactEditor = fromList
[
(1,("Edit",True)),
(2,("Remove",True)),
(9,("Add",True)),
(10,("Edit",False)),
(11,("Remove",False))
]
endContactEditor :: End
endContactEditor =
[]
windowContactEditor :: Window
windowContactEditor = "ContactEditor"
newWindowContactEditor :: NewWindow
newWindowContactEditor = fromList
[
(3,"ContactEditor")
]
closeContactEditor :: Close
closeContactEditor =
[]
|