missed a call

akkartik

Feb 21, 2024, 9:10 PM

UMB3FS2QCA2MX5I3QZEMFSCSUHULLRWLVUKU5GVJ6HOE2KKRY67QC

Dependencies

• [2] AZMYKWMH resolve conflicts
• [3] FQAZKPOO bugfix: infinite loop if window is too narrow
• [4] OE26XIQO bring back syntax highlighting (but so ugly)
• [5] PRE6XPRN responsively increase/decrease font height

Change contents

• replacement in 0032-update_font_settings at line 16
  [3.863]→[2.1098:1178](∅→∅)
  − pane.editor_state.right = math.min(100+30*Font:getWidth('m'), Safe_width*2/3)
  [3.863]

  [3.193]
  + pane.editor_state.right = editor_right_margin()