2 bugfixes in font rendering

akkartik

Nov 25, 2023, 2:38 AM

UUAIVZ4UYQW22T6O5RDDQFM5CS4JEDTZNIUVZGXRL57GFIGXEH6QC

Dependencies

• [2] OE26XIQO bring back syntax highlighting (but so ugly)
• [3] SFRZIHVE bugfix: update all panes on resize
• [4] VEAVIL4X resize handler
• [5] FQAZKPOO bugfix: infinite loop if window is too narrow
• [*] R5QXEHUI somebody stop me
• [*] PRE6XPRN responsively increase/decrease font height

Change contents

• file addition: 0114-update_output_editor (----------)
  [7.2]
  + update_output_editor = function(pane)

  + pane.output_editor_state.top = pane.editor_state.bottom+5+10+5

  + pane.output_editor_state.right = pane.editor_state.right

  + pane.output_editor_state.width = pane.editor_state.width

  + pane.output_editor_state.bottom = Safe_height - 5

  + Text.redraw_all(pane.output_editor_state)

  + end
• edit in 0032-update_font_settings at line 18
  [2.1113]

  [2.1113]
  + update_output_editor(pane)
• replacement in 0031-on.resize at line 11
  [3.356]→[3.356:591](∅→∅)
  − pane.output_editor_state.top = pane.editor_state.bottom+5+10+5

  − pane.output_editor_state.right = pane.editor_state.right

  − pane.output_editor_state.width = pane.editor_state.width

  − pane.output_editor_state.bottom = Safe_height - 5
  [3.356]

  [3.591]
  + update_output_editor(pane)