fix one crash when increasing font size too much

akkartik

Jan 1, 2024, 6:19 AM

KDRDAYJXU5NG3HXPUMUUJDKQM2F75MX3QFRMHV75XQEGISKDGZ4AC

Dependencies

• [2] GVX7YSQY initial script after splitting up text-zoom
• [3] DEFJUKUV adjust font sizes in response to zoom changes

Change contents

• replacement in screens/text-box at line 45
  [2.2241]→[2.2241:2310](∅→∅)
  − r.release = function(x2,y2, b) edit.mouse_release(e, x2,y2, b) end
  [2.2241]

  [2.2310]
  + r.release = function(x2,y2, b)

  + if cursor == r then

  + edit.mouse_release(e, x2,y2, b)

  + end

  + end