quadrant

About me

Developer Information
Name	quadrant
User since	April 11, 2020
Number of add-ons developed	0 add-ons
Average rating of developer's add-ons	Not yet rated

by quadrant on April 11, 2020 · permalink

I can confirm that the preferences aren't saved. If you don't like the default colors, this add-on isn't for you.