[UI] Default sizes for dock widgets plus some smaller fixes:

* renamings
* reset all to defaults
* sizes
This commit is contained in:
Klaus Basan
2020-04-15 16:27:39 +02:00
committed by Mat Sutcliffe
parent 465c8fd81d
commit df69ef47a0
6 changed files with 27 additions and 10 deletions

View File

@@ -104,7 +104,10 @@ namespace BlackGui
//! All floating info areas on top
void allFloatingOnTop();
//! Reset all widgets
//! Reset all floating widget settings
void resetAllFloatingWidgetSettings();
//! Reset all widget settings
void resetAllWidgetSettings();
//! Toggle dock / floating of the whole info area