Michael Maltese 548522877a DolphinQt2: make Settings a singleton
With this, we can get signals when properties change.
2017-06-05 16:46:10 -07:00
..
2017-06-05 16:46:10 -07:00
2017-05-30 22:42:21 +02:00
2017-05-30 22:42:21 +02:00
2017-05-09 18:49:10 +02:00