[BLUEJ-123] Editing actions (from edit menu) throw exception when showing interface view (documentation)
If an editor is open in documentation view, choosing editing actions (eg "indent more") from the edit menu causes an exception to be thrown.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 2.5.2