permit smaller font sizes

akkartik

Nov 23, 2023, 8:09 PM

CMKUVBXQDUJIV6MNUBOLVIGHPLWBYUDAJXWDZB4MJFXXJ2U77NIAC

Dependencies

• [2] LEE7TNZM sync all sliders with the font slider where possible
• [3] JV27LDDK sliders for font size and color settings
• [4] Y6M77HB4 keep sliders well within settings area

Change contents

• replacement in 0081-draw_settings_menu at line 21
  [3.3575]→[3.3575:3606](∅→∅)
  − lo=20, hi=40, -- font sizes
  [3.3575]

  [2.0]
  + lo=12, hi=40, -- font sizes