Am Mon, 16 Oct 2017 17:11:02 +1000 schrieb Lex Trotman:
> Unfortunately only one tab can be visible at a time in the sidebar.
That is OK. I just want to rearrange the label/title of the notebooks in
the sidebar. Currently, 4 labels are visible ("Symbols", "Documents",
"Files", "Devhelp") and I want to see "Project" instead of "Files".