-
Notifications
You must be signed in to change notification settings - Fork 95
Open
Labels
Milestone
Description
It's possible that everyone knows all this already, but:
If you right-click on an OPI in the navigator view, you have four options:
- OPI Display (Standalone Window)
- OPI Display (Workbench)
- OPI Editor
- Text Editor
Whichever you choose, if the editor pane is hidden it reappears. If you choose OPI Editor or Text Editor this is correct, since they are editors. If you choose either OPI Display, this is incorrect, since they are not.
This happens because we use the extension point org.eclipse.ui.editors in order to get the logical behaviour from the navigator. It may be very difficult to do anything about.