UI: use text hinting (now user preference)

D3201 by @ambient w/ edits not to impact fonts used for rendering
(only change display for UI text).

release/scripts/startup/bl_ui/space_userpref.py

@@ -539,6 +539,8 @@ class USERPREF_PT_system(Panel):
 
         col.label(text="Text Draw Options:")
         col.prop(system, "use_text_antialiasing")
+        if system.use_text_antialiasing:
+            col.prop(system, "use_text_hinting")
 
         col.separator()