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

9.4 KiB

Raw Blame History

View Raw