[BLUEJ-159] "Print", "Page setup" disabled on ALL editors after switching to documentation view in one
Switching to documentation view in one editor disables "Print" and "Page setup" for all editors. Likewise switching back to source code view enables those options for all editors.
The options should be enabled/disabled independently for each editor window.
Issue metadata
- Issue type: Bug
- Priority: Low
- Fix versions: 2.5.2