Graphics.UI.Sifflet.Workspace

Documentation

vpuiNew :: Style -> Env -> Bool -> IO VPUI

Create a new VPUI. This used to set up the basic "q to quit" and "on exposed" callbacks, but now does not even do that. The init function argument may perform additional initialization; if there is none, simply use return.

workspaceNewDefault :: Style -> (VBox -> IO ()) -> IO Workspace

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.

workspaceNewEditing :: Style -> Env -> Function -> IO Workspace

addFedWinButtons :: CBMgr -> WinId -> VPUI -> IO ()

defineFunction :: WinId -> CanvFrame -> VPUI -> IO VPUI

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.

workspaceId :: String

openNode :: VPUIWindow -> Node -> IO VPUIWindow

removeWindow :: VPUI -> Bool -> WinId -> IO VPUI

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.

vpuiQuit :: VPUI -> IO VPUI

forallWindowsIO :: (VPUIWindow -> IO VPUIWindow) -> VPUI -> IO VPUI

Perform action on all windows (actually (WinId, VPUIWindow) pairs. Returns updated VPUI (in case any windows are changed).

baseFunctionsRows :: [[String]]