scroll if necessary on paste

Dependencies

• [2] RTPXEETL rename
• [*] BULPIBEG beginnings of a module for the text editor
• [*] CG3264MM move
• [*] VJ77YABH more efficient undo/redo
• [*] GN3IF4WF bugfix: pasting newlines

Change contents

• edit in text.lua at line 1438
  [5.76]

  [6.2197]
  + -- We don't have a good sense of when to scroll, so we'll be conservative

  + -- and sometimes scroll when we didn't quite need to.
• edit in text.lua at line 1443
  [2.52]

  [2.52]
  + local num_newlines = 0 -- hack 1
• edit in text.lua at line 1448
  [7.113]

  [7.113]
  + num_newlines = num_newlines+1
• edit in text.lua at line 1452
  [7.181]

  [5.201]
  + 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)
• edit in text.lua at line 1458
  [5.209]

  [6.2276]
  + if Cursor1.line-Screen_top1.line+1 + num_newlines > App.screen.height/math.floor(15*Zoom) then

  + Screen_top1.line = Cursor1.line

  + Screen_top1.pos = 1

  + Text.scroll_up_while_cursor_on_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/math.floor(15*Zoom))

  + if Cursor_y*Line_width+Cursor_x + clipboard_width > Line_width*App.screen.height/math.floor(15*Zoom) then

  + Screen_top1.line = Cursor1.line

  + Screen_top1.pos = 1

  + Text.scroll_up_while_cursor_on_screen()

  + end