Eberhard Graether 5c0493267c ui: Added option for hiding dock widge title bars to view menu

2015-12-17 14:28:47 +01:00

..

data

ui: Added option for hiding dock widge title bars to view menu

2015-12-17 14:28:47 +01:00