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.