allow editing of edge info
authorMalcolm.Wallace@cs.york.ac.uk
local dateWed, 16 Nov 2005 11:06:33
dateWed, 16 Nov 2005 11:06:33
hash20051116110633-6871e-a781bebc7944d27a1f462656bfd82c8f5e89a11c
allow editing of edge info

It is now possible to edit the info field on an edge, just like the info
field on a node. (Through a context menu, or pressing 'i' whilst the
edge is selected.)
5 file(s) changed:
src/ContextMenu.hs +8 -3
src/GUIEvents.hs +3 -3
src/Network.hs +9 -3
src/NetworkControl.hs +31 -3
src/NetworkUI.hs +2 -1