[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