[BLUEJ-1011] Disable the Documentation Toggle for the non-source files
Switching to documentation for these files not needed and it causes many errors in the menus and status bar.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.1.0