[Blobs] darcs patch: extend DisplayOptions and correct View Menu

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.