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-05-23 22:12:01 +02:00
2017-05-28 23:01:41 +01:00
2017-05-21 12:03:13 +02:00