akkartik/pensieve.love - Change 4BX4GJEWW7Z5LA4SJUXADYLAHOYFL4IBOYH4J4DJYRAVKKGGFHGQC

experiment: pan editor on a larger surface

This works but has a drawback: since we just adjust Editor.top, we render everything from Editor.top to bottom of screen. If we pan a long distance, Editor.top can become a large negative number and the editor will spend more and more time rendering things outside screen.

I suppose we'll find out what these no-op draws cost us.

Created by Kartik K. Agaram on July 14, 2022

4BX4GJEWW7Z5LA4SJUXADYLAHOYFL4IBOYH4J4DJYRAVKKGGFHGQC

Dependencies

In channels

main

Change contents

Replacement in text.lua at line 31 [5.1]

B:BD[3.26] → [4.66:334]

--?     print('('..s(x)..','..s(y)..') '..frag..'('..s(frag_width)..' vs '..s(right)..') '..s(line_index)..' vs '..s(State.screen_top1.line)..'; '..s(pos)..' vs '..s(State.screen_top1.pos)..'; bottom: '..s(State.screen_bottom1.line)..'/'..s(State.screen_bottom1.pos))

[3.26]

[2.209]

--?     print('('..s(x)..','..s(y)..') '..frag..'('..s(frag_width)..' vs '..s(State.right)..') '..s(line_index)..' vs '..s(State.screen_top1.line)..'; '..s(pos)..' vs '..s(State.screen_top1.pos)..'; bottom: '..s(State.screen_bottom1.line)..'/'..s(State.screen_bottom1.pos))

Insertion in main.lua at line 18 [8.2]
[6.17313]
[7.36]
```
  Pan = {}
```

Replacement in main.lua at line 63 [8.2]

B:BD[9.466] → [10.85865:85928]

  love.window.setTitle('lines.love - '..Editor_state.filename)

[9.466]

[11.8]

  love.window.setTitle('pensieve.love')

Replacement in main.lua at line 88 [8.2]

B:BD[12.517] → [6.17349:17444]

  Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width-Margin_right)

[12.517]

[10.85929]

  Editor_state = edit.initialize_state(Margin_top, Margin_left, math.min(Margin_left+400, App.screen.width-Margin_right))

Replacement in main.lua at line 102 [8.2]

B:BD[6.17880] → [6.17880:18019]

  initialize_window_geometry(App.width(em))
  Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width-Margin_right)

[6.17880]

[6.18019]

  initialize_window_geometry()
  Editor_state = edit.initialize_state(Margin_top, Margin_left, math.min(Margin_left+400, App.screen.width-Margin_right))

Replacement in main.lua at line 109 [8.2]
B:BD[13.1320] → [6.18141:18187]
```
function initialize_window_geometry(em_width)
```
[13.1320]
[14.78]
```
function initialize_window_geometry()
```
Replacement in main.lua at line 115 [8.2]
B:BD[14.360] → [6.18250:18283]
```
  App.screen.width = 40*em_width
```
[14.360]
[15.384]
```
  App.screen.width = App.screen.width-100
```

Replacement in main.lua at line 175 [8.2]

B:BD[7.327] → [16.2352:2384]

  edit.update(Editor_state, dt)

[7.327]

[17.3]

  if App.mouse_x() >= Editor_state.left-Margin_left and App.mouse_x() < Editor_state.right+Margin_right then
    love.mouse.setCursor(love.mouse.getSystemCursor('arrow'))
    edit.update(Editor_state, dt)
  else
    love.mouse.setCursor(love.mouse.getSystemCursor('hand'))
  end
  if Pan.x then
    Editor_state.left = Margin_left - math.max(Pan.x-App.mouse_x(), 0)
    Editor_state.right = 400 + Margin_right - math.max(Pan.x-App.mouse_x(), 0)
    Editor_state.width = Editor_state.right - Editor_state.left
    Editor_state.top = Margin_top - math.max(Pan.y-App.mouse_y(), 0)
--?     Display_settings.x = math.max(Pan.x-App.mouse_x(), 0)
--?     Display_settings.y = math.max(Pan.y-App.mouse_y(), 0)
--?     App.mouse_move(Pan.x-Display_settings.x, Pan.y-Display_settings.y)
  end

Replacement in main.lua at line 211 [8.2]

B:BD[7.402] → [16.2412:2473]

  return edit.mouse_pressed(Editor_state, x,y, mouse_button)

[7.402]

[8.446]

  if x >= Editor_state.left - Margin_left and x < Editor_state.right + Margin_right then
    return edit.mouse_pressed(Editor_state, x,y, mouse_button)
  else
    Pan = {x=x, y=y}
  end

Replacement in main.lua at line 220 [8.2]

B:BD[7.477] → [16.2474:2536]

  return edit.mouse_released(Editor_state, x,y, mouse_button)

[7.477]

[18.130]

  if x >= Editor_state.left - Margin_left and x < Editor_state.right + Margin_right then
    return edit.mouse_released(Editor_state, x,y, mouse_button)
  else
    Pan = {}
  end

Insertion in edit.lua at line 12 [20.413]
[19.997]
[19.997]
```
Editor_background_color = {r=0.9, g=0.9, b=0, a=0.1}
```

Replacement in edit.lua at line 139 [20.413]

B:BD[20.4470] → [20.4470:4565]

      button('draw', {x=4,y=y+4, w=12,h=12, color={1,1,0},
        icon = icon.insert_drawing,

[20.4470]

[20.4565]

      button('draw', {x=State.left - Margin_left + 4,y=y+4, w=12,h=12, color={1,1,0},
--?         icon = icon.insert_drawing,

Insertion in edit.lua at line 175 [20.413]

[20.5859]

[16.3990]

  State.bottom = y
  App.color(Editor_background_color)
  love.graphics.rectangle('fill', State.left-Margin_left,State.top, State.width+Margin_left+Margin_right, State.bottom-State.top)

Insertion in drawing.lua at line 32 [21.98]
[21.895]
[21.895]
```
--?   print(State.left, State.right)
```