akkartik/sokoban.love - Change 2ENZW7TVCS47BWCA4AIEVGKGMT4Y2TSM5IJ7O5K2VSWNXIN3SG4QC

select text using mouse drag

Doesn't yet highlight while dragging.

Created by Kartik K. Agaram on June 3, 2022

2ENZW7TVCS47BWCA4AIEVGKGMT4Y2TSM5IJ7O5K2VSWNXIN3SG4QC

Dependencies

In channels

main

Change contents

Replacement in text.lua at line 502 [4.1]

B:BD[3.433] → [2.206:273]

  App.run_after_mousepress(screen_left_margin+8,Margin_top+5, '1')

[3.433]

[3.507]

  App.run_after_mouserelease(screen_left_margin+8,Margin_top+5, '1')

Replacement in text.lua at line 1042 [4.1]

B:BD[5.1792] → [2.1089:1170]

  App.run_after_mousepress(screen_left_margin+8,Margin_top+Line_height*2+5, '1')

[5.1792]

[5.1871]

  App.run_after_mouserelease(screen_left_margin+8,Margin_top+Line_height*2+5, '1')

Insertion in text.lua at line 1981 [4.1]

[6.8443]

[7.264]

end
function Text.eq1(a, b)
  return a.line == b.line and a.pos == b.pos

Deletion in main.lua at line 201 [10.2]

B:BD[8.492] → [9.10941:11240]

        if love.keyboard.isDown('lshift') or love.keyboard.isDown('rshift') then
          if Selection1.line == nil then
            Selection1 = {line=Cursor1.line, pos=Cursor1.pos}
          end
        else
          if Selection1.line then
            Selection1 = {}
          end
        end

Insertion in main.lua at line 202 [10.2]

[11.1837]

[12.361]

        Selection1 = {line=Cursor1.line, pos=Cursor1.pos}

Replacement in main.lua at line 214 [10.2]

∅:D[13.1485] → [14.3:41]

∅:D[15.2943] → [14.3:41]

B:BD[16.1626] → [14.3:41]

  Drawing.mouse_released(x,y, button)

[15.2943]

[17.130]

  if Lines.current_drawing then
    Drawing.mouse_released(x,y, button)
  else
    for line_index,line in ipairs(Lines) do
      if line.mode == 'text' then
        if Text.in_line(line, x,y) then
          Text.move_cursor(line_index, line, x, y)
          if Text.eq1(Cursor1, Selection1) then
            Selection1 = {}
          end
        end
      end
    end
  end

Insertion in app.lua at line 203 [18.2]

[3.834]

[13.7039]

  App.screen.contents = {}
  App.draw()
end
function App.run_after_mouserelease(x,y, button)
  App.mousereleased(x,y, button)