use horizontal space more efficiently on phones

akkartik

Nov 14, 2024, 6:00 PM

P6TZX4HAPUQT2MJYKZ2PBGCQ476Z6AD4VCPFUQTGAC5JW74ICXVQC

Dependencies

• [2] BH4QJ5CH extract functions for computing editor dimensions

Change contents

• replacement in 0169-editor_right_margin at line 2
  [2.216]→[2.216:276](∅→∅)
  − return math.min(100+30*Font:getWidth('m'), Safe_width*2/3)
  [2.216]

  [2.276]
  + return math.min(100+30*Font:getWidth('m'), Safe_width-Side_button_width*2-Scrollbar_width)