affordance to adjust width for word wrap

Dependencies

• [2] NQKFQSZE undo creating new drawings
• [3] 4J2WLDRM indent
• [4] 2RXZ3PGO beginning of a new approach to scroll+wrap
• [5] Z4XRNDTR find text
• [6] DLQMM265 scroll past first page
• [7] PX7DDEMO autosave slightly less aggressively
• [*] OTIBCAUJ love2d scaffold
• [*] J2SVGR2E experiment: blinking cursor
• [*] 73OCE2MC after much struggle, a brute-force undo
• [*] K464QQR4 more defensive resize handling
• [*] DHCLUDCW .
• [*] UWNHC4AA redo y computations
• [*] ZUOL7X6V move
• [*] 7IKRRESB longer names for indices in long loops
• [*] VHQCNMAR several more modules

Change contents

• edit in main.lua at line 95
  [10.240]

  [11.8163]
  +

  + -- line-width indicator

  + Line_width_hover = nil
• edit in main.lua at line 222
  [12.448]

  [13.5]
  + -- line-width indicator

  + button('line-width', {x=Margin_left+Line_width-4,y=Margin_top-10, w=10,h=10, color={1,1,1},

  + icon = icon.line_width,

  + onpress1 = function() Line_width_hover = App.getTime() end,

  + })

  +
• edit in main.lua at line 240
  [14.38]

  [4.759]
  + -- insert new drawing
• replacement in main.lua at line 251
  [2.394]→[4.1148:1175](∅→∅),[4.1148]→[4.1148:1175](∅→∅)
  − end})
  [2.394]

  [3.7]
  + end

  + })
• edit in main.lua at line 291
  [12.621]

  [12.621]
  + end

  + end

  + -- update Line_width with some hysteresis while the indicator is dragged

  + if Line_width_hover then

  + if App.getTime() - Line_width_hover > 0.1 then

  + Line_width = App.mouse_x() - Margin_left

  + Text.redraw_all()

  + if App.mouse_down(1) then

  + Line_width_hover = App.getTime()

  + else

  + Line_width_hover = nil

  + end
• edit in main.lua at line 322
  [15.2]

  [16.304]
  + -- we seem to sometimes get phantom clicks if the mouse moves down into text while adjusting line-width

  + if Line_width_hover then

  + Selection1 = {}

  + return

  + end
• edit in icons.lua at line 2
  [17.5334]

  [17.5334]
  +

  + function icon.line_width(x, y)

  + love.graphics.setColor(0.7,0.7,0.7)

  + love.graphics.line(x+0,y+0, x+9,y+0)

  + love.graphics.line(x+0,y+1, x+9,y+1)

  + love.graphics.line(x+0,y+2, x+9,y+2)

  + love.graphics.line(x+0,y+3, x+9,y+3)

  + love.graphics.line(x+0,y+4, x+9,y+4)

  + love.graphics.line(x+0,y+5, x+9,y+5)

  + love.graphics.line(x+1,y+6, x+8,y+6)

  + love.graphics.line(x+2,y+7, x+7,y+7)

  + love.graphics.line(x+3,y+8, x+6,y+8)

  + love.graphics.line(x+4,y+9, x+5,y+9)

  + end