Skip to content
This repository has been archived by the owner on Oct 5, 2022. It is now read-only.

No menu items available in Selection menu #26

Closed
lmcbout opened this issue Oct 23, 2017 · 4 comments
Closed

No menu items available in Selection menu #26

lmcbout opened this issue Oct 23, 2017 · 4 comments

Comments

@lmcbout
Copy link

lmcbout commented Oct 23, 2017

Menu "Selection" available, but all options aregreyed out. Should we have this menu option available?
peek 2017-10-23 selectionmenu

@JanKoehnlein
Copy link
Member

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.

@lmcbout
Copy link
Author

lmcbout commented Oct 24, 2017

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

@JanKoehnlein
Copy link
Member

Then this issue should go to Theia :-)

@lmcbout
Copy link
Author

lmcbout commented Oct 24, 2017

Issue move to THEIA: eclipse-theia/theia#731

@lmcbout lmcbout closed this as completed Oct 24, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants