Eberhard Graether 2340b0d619 ui: Don't show dock widget title bars in default window settings

2018-04-10 11:34:06 +02:00

..

ApplicationSettings.xml

data: changed default indexer thread count to 0

2017-08-22 16:36:16 +02:00

window_settings.ini

ui: Don't show dock widget title bars in default window settings

2018-04-10 11:34:06 +02:00