akkartik/sokoban.love - Change NQWWTGXRLSBASOSP75FPOSVYP664VYRFQH7MY5LALLIP2VEBQMCQC

switch undo/redo to ctrl- hotkeys

Created by Kartik K. Agaram on June 3, 2022

NQWWTGXRLSBASOSP75FPOSVYP664VYRFQH7MY5LALLIP2VEBQMCQC

Dependencies

In channels

main

Change contents

Replacement in text.lua at line 1171 [4.1]
B:BD[3.3831] → [3.3831:3863]
```
  App.run_after_keychord('M-z')
```
[3.3831]
[3.3863]
```
  App.run_after_keychord('C-z')
```
Replacement in text.lua at line 1206 [4.1]
B:BD[3.5516] → [3.5516:5548]
```
  App.run_after_keychord('M-z')
```
[3.5516]
[3.5548]
```
  App.run_after_keychord('C-z')
```

Deletion in text.lua at line 1382 [4.1]

∅:D[5.583] → [3.7107:7450]

∅:D[6.2102] → [3.7107:7450]

B:BD[3.7107] → [3.7107:7450]

B:BD[3.7450] → [6.2103:2149]

∅:D[6.2149] → [3.7520:7761]

B:BD[3.7520] → [3.7520:7761]

B:BD[3.7761] → [6.2150:2196]

∅:D[6.2196] → [3.8113:8121]

B:BD[3.8113] → [3.8113:8121]

  -- undo/redo really belongs in main.lua, but it's here so I can test the
  -- text-specific portions of it
  elseif chord == 'M-z' then
    local event = undo_event()
    if event then
      local src = event.before
      Screen_top1 = deepcopy(src.screen_top)
      Cursor1 = deepcopy(src.cursor)
      Selection1 = deepcopy(src.selection)
      patch(Lines, event.after, event.before)
    end
  elseif chord == 'M-y' then
    local event = redo_event()
    if event then
      local src = event.after
      Screen_top1 = deepcopy(src.screen_top)
      Cursor1 = deepcopy(src.cursor)
      Selection1 = deepcopy(src.selection)
      patch(Lines, event.before, event.after)
    end

Insertion in main.lua at line 279 [8.2]

[2.265]

[7.3819]

  elseif chord == 'C-z' then
    local event = undo_event()
    if event then
      local src = event.before
      Screen_top1 = deepcopy(src.screen_top)
      Cursor1 = deepcopy(src.cursor)
      Selection1 = deepcopy(src.selection)
      patch(Lines, event.after, event.before)
    end
  elseif chord == 'C-y' then
    local event = redo_event()
    if event then
      local src = event.after
      Screen_top1 = deepcopy(src.screen_top)
      Cursor1 = deepcopy(src.cursor)
      Selection1 = deepcopy(src.selection)
      patch(Lines, event.before, event.after)
    end