Feature/toggle groups panel option (#5247)

* Closes #5243
This commit is contained in:
Carlos E. Salazar
2020-10-09 04:52:30 +02:00
committed by GitHub
parent 34b44e7496
commit fa546c440e
7 changed files with 32 additions and 1 deletions

View File

@@ -74,6 +74,7 @@ public:
GUI_Language,
GUI_HideToolbar,
GUI_MovableToolbar,
GUI_HideGroupsPanel,
GUI_HidePreviewPanel,
GUI_ToolButtonStyle,
GUI_ShowTrayIcon,