Wed Nov 16 16:16:48 WET 2005 Malcolm.Wallace@cs.york.ac.uk
* left-click on canvas resets current selection
{
hunk ./src/GUIEvents.hs 31
- when (not leftButton) $
- ContextMenu.canvas theFrame state
+ if leftButton then selectNothing state
+ else ContextMenu.canvas theFrame state
hunk ./src/NetworkControl.hs 5
+ , selectNothing
hunk ./src/NetworkControl.hs 98
+ ; repaintAll state
+ }
+
+selectNothing :: State g n e -> IO ()
+selectNothing state = [_$_]
+ do{ pDoc <- getDocument state
+ ; PD.superficialUpdateDocument (setSelection NoSelection) pDoc
}