repos / INblobs / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
extend DisplayOptions and correct View Menu
authorMiguel Vilaca <jmvilaca@di.uminho.pt>
local dateThu, 19 Jan 2006 16:43:10
dateThu, 19 Jan 2006 16:43:10
hash20060119164310-970b1-f8a43123f7f6fcfbdf0363c30841daa183858e81
extend DisplayOptions and correct View Menu

Extend the DisplayOptions type with EdgeLabel.
The View Menu wasn't indicating correctly which DisplayOptions are being used.
This patch fixs that problem substituting RadioItems by checkable MenuItems.
3 file(s) changed:
src/DisplayOptions.hs +1 -1 diff | history | annotate
src/NetworkUI.hs +14 -4 diff | history | annotate
src/NetworkView.hs +14 -6 diff | history | annotate
Crece desde el pueblo el futuro / crece desde el pie