JoshD
|
5580a8a7a8
|
Changed settings storage to use the settings framework rather than rolling my own; this makes per-user settings work and fixes permission issues for non-admin users. Also made a small tweak to make the mouse work properly in high-dpi scenarios.
|
2016-07-18 17:28:10 -07:00 |
|