sync all sliders with the font slider where possible

akkartik

Nov 21, 2023, 5:05 PM

LEE7TNZMRETHPOO52OJGLN6X6VMORXZO2SM3VVTU336NFZ4DKCYQC

Dependencies

• [2] JV27LDDK sliders for font size and color settings

Change contents

• replacement in 0081-draw_settings_menu at line 22
  [2.3606]→[2.3606:3652](∅→∅)
  − value=Current_pane.editor_state.font_height
  [2.3606]

  [2.3652]
  + value=Current_pane.editor_state.font_height,
• edit in 0081-draw_settings_menu at line 33
  [2.3913]

  [2.3913]
  + local prev = Settings_font_slider
• replacement in 0081-draw_settings_menu at line 37
  [2.3970]→[2.3970:4076](∅→∅)
  − x0 = sx+20, x1=Safe_width-30,

  − y0 = y,

  − w=10, h=10,

  − lo = 0, hi=1,

  − value = Foreground_color.r
  [2.3970]

  [2.4076]
  + x0=prev.x0, x1=prev.x1,

  + y0=y,

  + w=prev.w, h=prev.h,

  + lo=0, hi=1,

  + value=Foreground_color.r,
• replacement in 0081-draw_settings_menu at line 45
  [2.4105]→[2.4105:4214](∅→∅)
  − x0 = sx+20, x1=Safe_width-30,

  − y0 = y+15,

  − w=10, h=10,

  − lo = 0, hi=1,

  − value = Foreground_color.g
  [2.4105]

  [2.4214]
  + x0=prev.x0, x1=prev.x1,

  + y0=y+15,

  + w=prev.w, h=prev.h,

  + lo=0, hi=1,

  + value=Foreground_color.g,
• replacement in 0081-draw_settings_menu at line 53
  [2.4243]→[2.4243:4352](∅→∅)
  − x0 = sx+20, x1=Safe_width-30,

  − y0 = y+30,

  − w=10, h=10,

  − lo = 0, hi=1,

  − value = Foreground_color.b
  [2.4243]

  [2.4352]
  + x0=prev.x0, x1=prev.x1,

  + y0=y+30,

  + w=prev.w, h=prev.h,

  + lo=0, hi=1,

  + value=Foreground_color.b,
• replacement in 0081-draw_settings_menu at line 73
  [2.4762]→[2.4762:4868](∅→∅)
  − x0 = sx+20, x1=Safe_width-30,

  − y0 = y,

  − w=10, h=10,

  − lo = 0, hi=1,

  − value = Background_color.r
  [2.4762]

  [2.4868]
  + x0=prev.x0, x1=prev.x1,

  + y0=y,

  + w=prev.w, h=prev.h,

  + lo=0, hi=1,

  + value=Background_color.r
• replacement in 0081-draw_settings_menu at line 81
  [2.4897]→[2.4897:5006](∅→∅)
  − x0 = sx+20, x1=Safe_width-30,

  − y0 = y+15,

  − w=10, h=10,

  − lo = 0, hi=1,

  − value = Background_color.g
  [2.4897]

  [2.5006]
  + x0=prev.x0, x1=prev.x1,

  + y0=y+15,

  + w=prev.w, h=prev.h,

  + lo=0, hi=1,

  + value=Background_color.g
• replacement in 0081-draw_settings_menu at line 89
  [2.5035]→[2.5035:5068](∅→∅)
  − x0 = sx+20, x1=Safe_width-30,
  [2.5035]

  [2.5068]
  + x0 = prev.x0, x1=prev.x1,
• replacement in 0081-draw_settings_menu at line 91
  [2.5082]→[2.5082:5097](∅→∅)
  − w=10, h=10,
  [2.5082]

  [2.5097]
  + w=prev.w, h=prev.h,