darcs patch: extend DisplayOptions and correct View Menu

[José Miguel Vilaça]

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.

_______________________________________________
Blobs mailing list
[hidden email]
http://haskell.org/mailman/listinfo/blobs