Implemented proper hiding and showing of dock widgets

This commit is contained in:
Uwe Kindler
2017-03-23 10:23:53 +01:00
parent b6ee26adc2
commit 16bd1a3bd2
13 changed files with 3130 additions and 2690 deletions

File diff suppressed because it is too large Load Diff