3 Nov
2018
3 Nov
'18
10:20 a.m.
On 2 Nov 2018, at 23:52, Ronald Wampler rdwampler@gmail.com wrote:
I submitted a PR implementing this via user defaults. I will work on figuring out the best way to make this accessible in the UI.
Cool.
--
/Jacob Carlborg