Graphics.UI.Sifflet.Tool
data ToolId
checkMods
functionArgToolSpecs
functionTool
functionToolsFromLists
makeConnectTool
makeCopyTool
makeDeleteTool
makeDisconnectTool
makeIfTool
makeMoveTool
showFunctionEntry
showLiteralEntry
vpuiSetTool
vpuiWindowSetTool
vwAddFrame
vpuiAddFrame
wsPopStatusbar
wsPushStatusbar
dumpFrame
dumpGraph
dumpWorkWin
clearFrame
closeFrame