merge bugfix

akkartik

Jan 29, 2024, 11:40 PM

2PDO2EHRVXLFCXFC2QLH6RLMDQ6TJVBFFPR3G2OMBVTQV33W7PIAC

Dependencies

• [2] AZMYKWMH resolve conflicts
• [3] VEAVIL4X resize handler
• [4] SFRZIHVE bugfix: update all panes on resize
• [5] FQAZKPOO bugfix: infinite loop if window is too narrow

Change contents

• replacement in 0031-on.resize at line 4
  [3.121]→[2.1326:1411](∅→∅)
  − pane.editor_state.right = math.min(100+30*pane.font:getWidth('m'), Safe_width*2/3)
  [3.121]

  [3.313]
  + pane.editor_state.right = math.min(100+30*pane.editor_state.font:getWidth('m'), Safe_width*2/3)