responsive layout for settings menu

akkartik

Nov 25, 2023, 5:03 AM

LR4HHCRHSRNJHD625BE5ERN73NBHLWI2IHMFUFCB3Y2AGEDFSXSAC

Dependencies

• [2] YV2GBDNW preserve settings across restart
• [3] JV27LDDK sliders for font size and color settings
• [4] LEE7TNZM sync all sliders with the font slider where possible

Change contents

• replacement in 0081-draw_settings_menu at line 3
  [3.3056]→[2.745:777](∅→∅)
  − local w,h = 200, Font_height*8
  [3.3056]

  [3.3112]
  + local w,h = 200, 130+2*Line_height
• replacement in 0081-draw_settings_menu at line 64
  [3.4517]→[3.4517:4542](∅→∅)
  − y = y+10+Line_height+10
  [3.4517]

  [3.4542]
  + y = y+50