Font hinting not reset after "Reset to Defaults"
Software
- Ubuntu 18.04.2 LTS
- GNOME Tweaks 3.28.1
Problem
- Open GNOME Tweaks
- Navigate to Fonts > Hinting
- Change font hinting to something other than default (was "Slight" on my system)
- Close and re-open to confirm change
- "Reset to Defaults"
- Observe that Hinting was not reset.
Summary
Just looking for someone to confirm this. This may or may not be a problem. I can't find discussion of it elsewhere.