You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Interface > NoteBooks Tabs > Double-clicking hides all additional Widgets
When I activate above setting and click on a tab in NoteBook, it hides the tab name and Message window, but it doesn't hide the left Side bar.
It would be much better to hide side bar too.
And please don't hide the NoteBook's tab name, so that we can double click it again to show hidden widgets ( Like what Eclipse IDE does)
in current version, to show hidden widgets, we should go to View menu-bar and click "Toggle all additional widgets" which is a little bit long and inconvenient way.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.