experiment: extremely precise scrolling on paste

Dependencies

• [2] SN2QONLI autosave on cut/paste
• [3] 3TDOZESE extract scrolling logic out of insert_return
• [4] IRCKL6VN extract scrolling logic out of insert_at_cursor
• [5] JJ7J4PUB some unnecessary mutations
• [6] 5ZFHMYQI .
• [7] NQWWTGXR switch undo/redo to ctrl- hotkeys
• [8] LS55YKGW switch copy/paste to ctrl- hotkeys
• [9] BTKAW76L rename
• [*] OTIBCAUJ love2d scaffold

Change contents

• edit in main.lua at line 431
  [5.620]

  [5.620]
  + local draw_fn = App.draw

  + App.draw = nil -- disable temporarily
• edit in main.lua at line 437
  [5.753]

  [3.120]
  + draw_fn()
• edit in main.lua at line 445
  [5.41]

  [4.943]
  + draw_fn()
• edit in main.lua at line 452
  [5.859]→[5.859:1171](∅→∅),[5.1171]→[5.237:282](∅→∅),[5.282]→[5.1281:1766](∅→∅),[5.1281]→[5.1281:1766](∅→∅),[5.1766]→[5.283:328](∅→∅)
  − end

  − -- hack 1: if we have too many newlines we definitely need to scroll

  − for i=before_line,Cursor1.line do

  − Lines[i].screen_line_starting_pos = nil

  − Text.populate_screen_line_starting_pos(i)

  − end

  − if Cursor1.line-Screen_top1.line+1 + num_newlines > App.screen.height/Line_height then

  − Text.snap_cursor_to_bottom_of_screen()

  − end

  − -- hack 2: if we have too much text wrapping we definitely need to scroll

  − local clipboard_text = App.newText(love.graphics.getFont(), clipboard_data)

  − local clipboard_width = App.width(clipboard_text)

  − --? print(Cursor_y, Cursor_y*Line_width, Cursor_y*Line_width+Cursor_x, Cursor_y*Line_width+Cursor_x+clipboard_width, Line_width*App.screen.height/Line_height)

  − if Cursor_y*Line_width+Cursor_x + clipboard_width > Line_width*App.screen.height/Line_height then

  − Text.snap_cursor_to_bottom_of_screen()
• edit in main.lua at line 453
  [5.646]

  [2.43]
  + App.draw = draw_fn