- vpuiNew :: Style -> Env -> IO VPUI
- workspaceNewDefault :: Style -> (VBox -> IO ()) -> IO Workspace
- workspaceNewEditing :: Style -> Env -> Function -> IO Workspace
- addArgToolButtons :: CBMgr -> WinId -> [String] -> VPUI -> IO ()
- addApplyCloseButtons :: CBMgr -> WinId -> VPUI -> IO ()
- defineFunction :: WinId -> CanvFrame -> VPUI -> IO VPUI
- workspaceId :: String
- openNode :: VPUIWindow -> Node -> IO VPUIWindow
- removeWindow :: VPUI -> Bool -> WinId -> IO VPUI
- vpuiQuit :: VPUI -> IO VPUI
- forallWindowsIO :: (VPUIWindow -> IO VPUIWindow) -> VPUI -> IO VPUI
- baseFunctionsRows :: [[String]]
Create a new main workspace window, with a given style. The second argument should set up a menu bar and place it on the vbox, or do nothing if no menu is wanted.
Context menu command to apply the function definition of an EditFrame.
Execute the definition currently represented in the frame, i.e., bind the function name in the global environment to the function definition found in the frame.
This function is called either when a window *has been* destroyed, with destroy = False, or when you *want to* destroy a window, with destroy = True.
removeWindow actually *closes* the window if destroy = True, as well as removing it from the vpui's windows map.
Perform action on all windows (actually (WinId, VPUIWindow) pairs. Returns updated VPUI (in case any windows are changed).