Closed lmcbout closed 7 years ago
Most of these don't make sense for the diagram. Which ones would you like to use? I don't think that Theia can deactivate entire menus.
If we use the diagram display and if none of the menu items apply to any diagram, then the menu "Selection" should not clutter the menu bar, it should be invisible when the user is editing/viewing a diagram
Then this issue should go to Theia :-)
Issue move to THEIA: https://github.com/theia-ide/theia/issues/731
Menu "Selection" available, but all options aregreyed out. Should we have this menu option available?