akkartik/sokoban.love - Change R6MNUXDJJEMQH6GGP4I7QZ7DQSSOE2BLLI24JJIDWV6WBPCRDQHAC

pijul bug

Created by akkartik on February 4, 2024

R6MNUXDJJEMQH6GGP4I7QZ7DQSSOE2BLLI24JJIDWV6WBPCRDQHAC

Dependencies

In channels

main

Change contents

File deletion: drawing_tests.lua, drawing_tests.lua

BFD:BFD[4.2] → [5.1534:1575]

BFD:BFD[5.1575] → [5.15:15]

B:BD[7.6865] → [3.5249:5301]

B:BD[7.8744] → [3.5302:5362]

B:BD[7.9696] → [3.5363:5413]

B:BD[7.24482] → [3.5415:5415]

B:BD[8.31485] → [3.5417:5417]

∅:D[3.5417] → [9.9866:9918]

B:BD[10.1315] → [9.9866:9918]

∅:D[9.9918] → [11.56090:56154]

∅:D[8.31532] → [11.56090:56154]

B:BD[12.11148] → [11.56090:56154]

B:BD[8.31630] → [3.5419:5419]

∅:D[3.5419] → [9.9919:9979]

B:BD[10.1616] → [9.9919:9979]

∅:D[9.9979] → [11.56256:56355]

∅:D[8.31680] → [11.56256:56355]

B:BD[12.11246] → [11.56256:56355]

B:BD[13.648] → [3.5420:5472]

B:BD[13.778] → [3.5473:5539]

B:BD[14.1527] → [9.9980:10032]

∅:D[9.10032] → [14.1574:1638]

B:BD[14.1574] → [14.1574:1638]

∅:D[13.1177] → [14.1724:1729]

∅:D[3.5541] → [14.1724:1729]

B:BD[14.1724] → [14.1724:1729]

B:BD[13.1833] → [3.5543:5543]

B:BD[7.27609] → [3.5544:5596]

B:BD[7.28310] → [3.5598:5598]

B:BD[7.29836] → [3.5599:5651]

B:BD[7.31599] → [3.5653:5653]

∅:D[3.5653] → [9.10259:10311]

B:BD[15.6287] → [9.10259:10311]

∅:D[9.10311] → [11.57644:57758]

∅:D[8.32716] → [11.57644:57758]

B:BD[12.12620] → [11.57644:57758]

B:BD[7.33446] → [3.5654:5706]

B:BD[7.35237] → [3.5707:5759]

B:BD[7.36862] → [3.5760:5812]

B:BD[7.38615] → [3.5813:5865]

B:BD[16.10009] → [3.5866:5926]

B:BD[7.39058] → [3.5927:5979]

B:BD[7.39195] → [3.5981:5981]

B:BD[7.41007] → [3.5982:6034]

B:BD[7.41543] → [3.6036:6036]

∅:D[3.6036] → [9.10691:10823]

B:BD[17.1652] → [9.10691:10823]

B:BD[9.10823] → [3.6037:6127]

B:BD[7.43580] → [3.6128:6180]

B:BD[7.43805] → [3.6181:6233]

B:BD[7.43942] → [3.6235:6235]

∅:D[3.6235] → [11.60317:60482]

∅:D[3.6233] → [7.43852:43942]

∅:D[3.6180] → [8.34982:35096]

∅:D[3.6127] → [11.59851:59960]

∅:D[9.10823] → [18.125771:125811]

∅:D[3.6034] → [7.41054:41218]

∅:D[3.5981] → [11.59208:59348]

∅:D[3.5979] → [7.39105:39195]

∅:D[3.5926] → [8.34028:34190]

∅:D[3.5865] → [16.9962:10009]

∅:D[3.5812] → [7.36909:36971]

∅:D[3.5759] → [7.35284:35319]

∅:D[3.5706] → [7.33493:33524]

∅:D[3.5651] → [8.32408:32472]

∅:D[3.5598] → [11.56995:57102]

∅:D[3.5596] → [8.31925:31989]

∅:D[3.5543] → [11.56390:56555]

∅:D[3.5539] → [13.831:895]

∅:D[3.5472] → [13.695:778]

∅:D[3.5415] → [11.55732:55897]

∅:D[3.5413] → [7.9741:9772]

∅:D[3.5362] → [7.8794:8945]

∅:D[3.5301] → [7.6912:7175]

  edit.run_after_keychord(Editor_state, 'C-o', 'o')
  edit.run_after_keychord(Editor_state, 'escape', 'escape')
  edit.run_after_keychord(Editor_state, 'o', 'o')
  edit.run_after_keychord(Editor_state, 'C-n', 'n')
  check_eq(Editor_state.current_drawing_mode, 'name', 'mode:1')
  edit.run_after_keychord(Editor_state, 'return', 'return')
  check_eq(Editor_state.current_drawing_mode, 'line', 'mode:3')
  check_eq(p2.name, 'A', 'check2')
  edit.run_after_keychord(Editor_state, 'C-n', 'n')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'C-n', 'n')
  check_eq(Editor_state.current_drawing_mode, 'name', 'mode:1')
end
  edit.run_after_keychord(Editor_state, 'C-u', 'u')
  edit.run_after_keychord(Editor_state, 'C-u', 'u')
  edit.run_after_keychord(Editor_state, 'C-d', 'd')
  check_eq(drawing.shapes[1].mode, 'deleted', 'shape:1')
  check_eq(drawing.shapes[2].mode, 'deleted', 'shape:2')
  edit.run_after_keychord(Editor_state, 'C-d', 'd')
  edit.run_after_keychord(Editor_state, 'C-d', 'd')
  edit.run_after_keychord(Editor_state, 'C-d', 'd')
  edit.run_after_keychord(Editor_state, 'C-n', 'n')
  edit.run_after_keychord(Editor_state, 'return', 'return')
  edit.run_after_keychord(Editor_state, 'C-z', 'z')
  edit.run_after_keychord(Editor_state, 'C-u', 'u')
  edit.run_after_keychord(Editor_state, 'C-z', 'z')
  edit.run_after_keychord(Editor_state, 'C-z', 'z')  -- bug: need to undo twice
  local drawing = Editor_state.lines[1]
  local p2 = drawing.points[drawing.shapes[1].p2]
  edit.run_after_keychord(Editor_state, 'C-d', 'd')
  edit.run_after_keychord(Editor_state, 'C-z', 'z')
  check_eq(Editor_state.next_history, 3, 'next_history')
  check_eq(drawing.shapes[1].mode, 'line', 'shape:1')
  check_eq(drawing.shapes[2].mode, 'line', 'shape:2')
  local drawing = Editor_state.lines[1]
  local p2 = drawing.points[drawing.shapes[1].p2]
  check_eq(drawing.shapes[1].mode, 'deleted', 'shape:1')
  check_eq(drawing.shapes[2].mode, 'deleted', 'shape:2')
  check_eq(Editor_state.next_history, 2, 'next_history')
  check_eq(p2.x, 35, 'x')
  check_eq(p2.y, 36, 'y')
  local drawing = Editor_state.lines[1]
  App.mouse_move(Editor_state.left+26, Editor_state.top+Drawing_padding_top+44)
  edit.update(Editor_state, 0.05)
  local p2 = drawing.points[drawing.shapes[1].p2]
  check_eq(Editor_state.next_history, 3, 'next_history')
  check_eq(p2.name, '', 'undo')  -- not quite what it was before, but close enough
  local drawing = Editor_state.lines[1]
  local p2 = drawing.points[drawing.shapes[1].p2]
  check_eq(p2.name, 'A', 'baseline')
  check_eq(#Editor_state.history, 3, 'baseline/history:2')
  check_eq(Editor_state.next_history, 4, 'baseline/next_history')
  edit.run_after_text_input(Editor_state, 'A')
  -- there's < 3 points left, so the whole polygon is deleted
  -- just the one point is deleted
  -- only that line is deleted
  check_eq(Editor_state.current_drawing_mode, 'move', 'mode:1')
  check_eq(Editor_state.current_drawing_mode, 'line', 'mode:3')
  check_eq(drawing.pending, {}, 'pending')
  check_eq(Editor_state.current_drawing_mode, 'move', 'mode:1')
  check_eq(#drawing.shapes, 1, 'baseline/#shapes')
  check_eq(#drawing.points, 2, 'baseline/#points')
  check_eq(drawing.shapes[1].mode, 'line', 'baseline/shape:1')
  -- no crash
end
function test_name_point_then_exit_drawing()
  check_eq(Editor_state.current_drawing_mode, 'name', 'mode:1')
  -- hit backspace
  check_eq(#drawing.shapes, 1, 'baseline/#shapes')
  check_eq(#drawing.points, 2, 'baseline/#points')
  check_eq(drawing.shapes[1].mode, 'line', 'baseline/shape:1')
  -- no change to drawing mode
  edit.run_after_mouse_release(Editor_state, Editor_state.left+35, Editor_state.top+Drawing_padding_top+36, 1)
  local drawing = Editor_state.lines[1]
  edit.run_after_mouse_press(Editor_state, Editor_state.left+35, Editor_state.top+Drawing_padding_top+36, 1)
  edit.run_after_mouse_release(Editor_state, Editor_state.left+35+30, Editor_state.top+Drawing_padding_top+36, 1)
  local drawing = Editor_state.lines[1]

File deletion: source_text_tests.lua, source_text_tests.lua

BFD:BFD[4.2] → [19.83739:83784]

BFD:BFD[19.83784] → [19.3561:3561]

B:BD[21.1893] → [3.7:73]

B:BD[19.4691] → [3.74:140]

B:BD[19.5829] → [3.141:193]

B:BD[19.6162] → [3.194:250]

B:BD[19.6560] → [3.251:309]

B:BD[19.7001] → [3.310:366]

B:BD[19.7582] → [3.367:425]

B:BD[19.8105] → [3.426:484]

B:BD[19.8594] → [3.485:543]

B:BD[19.9075] → [3.544:602]

B:BD[19.9561] → [3.603:661]

B:BD[19.10075] → [3.662:720]

B:BD[19.10572] → [3.721:779]

B:BD[19.11130] → [3.780:840]

B:BD[19.11594] → [3.841:901]

B:BD[19.12073] → [3.902:962]

B:BD[19.12576] → [3.963:1024]

B:BD[19.13062] → [3.1025:1086]

B:BD[22.1185] → [3.1087:1148]

B:BD[22.2257] → [3.1149:1208]

B:BD[22.4767] → [3.1209:1261]

B:BD[22.5500] → [3.1262:1314]

B:BD[22.6257] → [3.1315:1367]

B:BD[22.7457] → [3.1368:1434]

B:BD[19.29467] → [3.1435:1495]

B:BD[19.30509] → [3.1496:1556]

B:BD[19.31838] → [3.1557:1609]

B:BD[23.3367] → [3.1610:1662]

B:BD[22.13066] → [3.1663:1715]

B:BD[19.33877] → [3.1716:1780]

B:BD[21.3464] → [3.1781:1845]

B:BD[19.35336] → [3.1846:1910]

B:BD[19.36545] → [3.1911:1975]

B:BD[19.37672] → [3.1976:2032]

B:BD[24.1065] → [3.2033:2089]

B:BD[19.39205] → [3.2090:2146]

B:BD[19.40873] → [3.2147:2203]

B:BD[19.42780] → [3.2204:2260]

B:BD[19.44730] → [3.2261:2325]

B:BD[19.45287] → [3.2326:2382]

B:BD[19.47011] → [3.2383:2435]

B:BD[24.2156] → [3.2436:2488]

B:BD[19.48493] → [3.2489:2541]

B:BD[25.813] → [3.2542:2594]

B:BD[19.49935] → [3.2595:2647]

B:BD[19.51775] → [3.2648:2700]

B:BD[19.53584] → [3.2701:2753]

B:BD[19.54777] → [3.2754:2814]

B:BD[19.56153] → [3.2815:2875]

B:BD[19.57780] → [3.2876:2936]

B:BD[19.59464] → [3.2937:2997]

B:BD[19.60920] → [3.2998:3058]

B:BD[19.65499] → [3.3059:3115]

B:BD[19.67421] → [3.3116:3175]

B:BD[19.69017] → [3.3176:3232]

B:BD[19.70845] → [3.3233:3287]

B:BD[19.74576] → [3.3288:3354]

B:BD[19.75971] → [3.3355:3421]

B:BD[19.77198] → [3.3422:3488]

B:BD[22.14004] → [3.3489:3555]

B:BD[22.14997] → [3.3556:3622]

B:BD[22.16057] → [3.3623:3689]

B:BD[22.17147] → [3.3690:3756]

B:BD[22.18231] → [3.3757:3823]

B:BD[19.78325] → [3.3824:3876]

B:BD[19.79223] → [3.3877:3943]

B:BD[19.79845] → [3.3944:3996]

B:BD[22.20471] → [3.3997:4101]

B:BD[19.80757] → [3.4102:4154]

B:BD[16.5217] → [3.4155:4215]

B:BD[19.81184] → [3.4216:4268]

B:BD[16.5266] → [3.4269:4385]

B:BD[19.81929] → [3.4386:4438]

B:BD[19.82058] → [3.4439:4491]

B:BD[19.82663] → [3.4492:4544]

B:BD[16.5362] → [3.4545:4605]

B:BD[19.83405] → [3.4606:4658]

B:BD[16.5410] → [3.4659:4711]

∅:D[3.4711] → [19.83544:83562]

∅:D[3.4658] → [16.5363:5410]

∅:D[3.4605] → [19.82806:82824]

∅:D[3.4544] → [16.5315:5362]

∅:D[3.4491] → [8.22437:22495]

∅:D[3.4438] → [16.5267:5314]

∅:D[3.4385] → [8.22322:22380]

∅:D[3.4268] → [16.5218:5266]

∅:D[3.4215] → [8.22207:22321]

∅:D[3.4154] → [16.5170:5217]

∅:D[3.4101] → [22.20565:20592]

∅:D[3.3996] → [8.21495:21853]

∅:D[3.3943] → [8.21077:21341]

∅:D[3.3876] → [8.20722:20950]

∅:D[3.3823] → [8.20025:20135]

∅:D[3.3756] → [8.19747:19857]

∅:D[3.3689] → [8.19467:19579]

∅:D[3.3622] → [8.19246:19299]

∅:D[3.3555] → [8.19025:19078]

∅:D[3.3488] → [8.18966:19024]

∅:D[3.3421] → [19.76024:76047]

∅:D[3.3354] → [8.18262:18372]

∅:D[3.3287] → [8.17296:17465]

∅:D[3.3232] → [19.69065:69088]

∅:D[3.3175] → [8.16333:16502]

∅:D[3.3115] → [19.65547:65570]

∅:D[3.3058] → [8.14757:14926]

∅:D[3.2997] → [8.14413:14582]

∅:D[3.2936] → [8.13962:14131]

∅:D[3.2875] → [8.13516:13685]

∅:D[3.2814] → [8.13121:13231]

∅:D[3.2753] → [8.12824:12934]

∅:D[3.2700] → [19.51821:51844]

∅:D[3.2647] → [19.49981:50004]

∅:D[3.2594] → [25.859:969]

∅:D[3.2541] → [8.11454:11564]

∅:D[3.2488] → [24.2202:2258]

∅:D[3.2435] → [8.11064:11174]

∅:D[3.2382] → [8.10615:10784]

∅:D[3.2325] → [8.10415:10614]

∅:D[3.2260] → [8.9965:10134]

∅:D[3.2203] → [8.9514:9683]

∅:D[3.2146] → [8.9076:9186]

∅:D[3.2089] → [24.1113:1164]

∅:D[3.2032] → [8.8686:8796]

∅:D[3.1975] → [8.8406:8532]

∅:D[3.1910] → [8.8150:8276]

∅:D[3.1845] → [8.7841:7951]

∅:D[3.1780] → [8.7526:7636]

∅:D[3.1715] → [22.13113:13127]

∅:D[3.1662] → [23.3414:3735]

∅:D[3.1609] → [8.6377:6546]

∅:D[3.1556] → [8.6004:6223]

∅:D[3.1495] → [8.5711:5880]

∅:D[3.1434] → [22.7510:7531]

∅:D[3.1367] → [22.6304:6417]

∅:D[3.1314] → [8.5014:5058]

∅:D[3.1261] → [8.4921:4965]

∅:D[3.1208] → [22.2306:2349]

∅:D[3.1148] → [22.1236:1269]

∅:D[3.1086] → [8.1542:1638]

∅:D[3.1024] → [8.1492:1541]

∅:D[3.962] → [8.1442:1491]

∅:D[3.901] → [8.1392:1441]

∅:D[3.840] → [8.1342:1391]

∅:D[3.779] → [8.1245:1341]

∅:D[3.720] → [8.1195:1244]

∅:D[3.661] → [8.1145:1194]

∅:D[3.602] → [8.1095:1144]

∅:D[3.543] → [8.1045:1094]

∅:D[3.484] → [8.995:1044]

∅:D[3.425] → [8.898:994]

∅:D[3.366] → [8.780:897]

∅:D[3.309] → [8.730:779]

∅:D[3.250] → [8.680:729]

∅:D[3.193] → [19.5876:5907]

∅:D[3.140] → [8.484:639]

∅:D[3.73] → [8.387:483]

  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'C-m', 'm')
  edit.run_after_keychord(Editor_state, 'left', 'left')
  edit.run_after_keychord(Editor_state, 'right', 'right')
  edit.run_after_keychord(Editor_state, 'left', 'left')
  edit.run_after_keychord(Editor_state, 'right', 'right')
  edit.run_after_keychord(Editor_state, 'M-left', 'left')
  edit.run_after_keychord(Editor_state, 'M-left', 'left')
  edit.run_after_keychord(Editor_state, 'M-left', 'left')
  edit.run_after_keychord(Editor_state, 'M-left', 'left')
  edit.run_after_keychord(Editor_state, 'M-left', 'left')
  edit.run_after_keychord(Editor_state, 'M-left', 'left')
  edit.run_after_keychord(Editor_state, 'M-right', 'right')
  edit.run_after_keychord(Editor_state, 'M-right', 'right')
  edit.run_after_keychord(Editor_state, 'M-right', 'right')
  edit.run_after_keychord(Editor_state, 'M-right',  'right')
  edit.run_after_keychord(Editor_state, 'M-right',  'right')
  edit.run_after_keychord(Editor_state, 'S-right',  'right')
  edit.run_after_keychord(Editor_state, 'right',  'right')
  edit.run_after_keychord(Editor_state, 'C-c', 'c')
  edit.run_after_keychord(Editor_state, 'C-x', 'x')
  edit.run_after_keychord(Editor_state, 'C-v', 'v')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'return', 'return')
  edit.run_after_keychord(Editor_state, 'return', 'return')
  edit.run_after_keychord(Editor_state, 'C-v', 'v')
  edit.run_after_keychord(Editor_state, 'C-a', 'a')
  edit.run_after_keychord(Editor_state, 'C-x', 'x')
  edit.run_after_keychord(Editor_state, 'pagedown', 'pagedown')
  edit.run_after_keychord(Editor_state, 'pagedown', 'pagedown')
  edit.run_after_keychord(Editor_state, 'pagedown', 'pagedown')
  edit.run_after_keychord(Editor_state, 'pagedown', 'pagedown')
  edit.run_after_keychord(Editor_state, 'down', 'down')
  edit.run_after_keychord(Editor_state, 'down', 'down')
  edit.run_after_keychord(Editor_state, 'down', 'down')
  edit.run_after_keychord(Editor_state, 'down', 'down')
  edit.run_after_keychord(Editor_state, 'down', 'down')
  edit.run_after_keychord(Editor_state, 'pagedown', 'pagedown')
  edit.run_after_keychord(Editor_state, 'down', 'down')
  edit.run_after_keychord(Editor_state, 'up', 'up')
  edit.run_after_keychord(Editor_state, 'up', 'up')
  edit.run_after_keychord(Editor_state, 'up', 'up')
  edit.run_after_keychord(Editor_state, 'up', 'up')
  edit.run_after_keychord(Editor_state, 'up', 'up')
  edit.run_after_keychord(Editor_state, 'up', 'up')
  edit.run_after_keychord(Editor_state, 'up', 'up')
  edit.run_after_keychord(Editor_state, 'pageup', 'pageup')
  edit.run_after_keychord(Editor_state, 'pageup', 'pageup')
  edit.run_after_keychord(Editor_state, 'pageup', 'pageup')
  edit.run_after_keychord(Editor_state, 'return', 'return')
  edit.run_after_keychord(Editor_state, 'return', 'return')
  edit.run_after_keychord(Editor_state, 'left', 'left')
  edit.run_after_keychord(Editor_state, 'right',  'right')
  edit.run_after_keychord(Editor_state, 'home', 'home')
  edit.run_after_keychord(Editor_state, 'end', 'end')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'C-z', 'z')
  edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
  edit.run_after_keychord(Editor_state, 'C-z', 'z')
  edit.run_after_keychord(Editor_state, 'C-z', 'z')
  edit.run_after_keychord(Editor_state, 'C-z', 'z')
  edit.run_after_keychord(Editor_state, 'C-f', 'f')
  edit.run_after_keychord(Editor_state, 'return', 'return')
  edit.run_after_keychord(Editor_state, 'C-f', 'f')
  edit.run_after_keychord(Editor_state, 'down', 'down')
  edit.run_after_keychord(Editor_state, 'return', 'return')
  edit.run_after_keychord(Editor_state, 'C-f', 'f')
  edit.run_after_keychord(Editor_state, 'up', 'up')
  edit.run_after_keychord(Editor_state, 'C-f', 'f')
  edit.run_after_keychord(Editor_state, 'return', 'return')
  edit.run_after_keychord(Editor_state, 'C-f', 'f')
  edit.run_after_keychord(Editor_state, 'up', 'up')
  -- cursor wraps
  edit.run_after_text_input(Editor_state, 'a')
  -- cursor wraps
  edit.run_after_text_input(Editor_state, 'a')
  check_eq(Editor_state.cursor1.line, 1, '2/cursor:line')
  edit.run_after_text_input(Editor_state, 'a')
  check_eq(Editor_state.cursor1.line, 4, '2/cursor:line')
  edit.run_after_text_input(Editor_state, 'de')
  check_eq(Editor_state.cursor1.line, 2, '1/cursor:line')
  check_eq(Editor_state.cursor1.pos, 1, '1/cursor:pos')
  edit.run_after_text_input(Editor_state, 'd')
  -- selection is restored
  check_eq(Editor_state.cursor1.line, 2, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 5, 'cursor:pos')
  check_nil(Editor_state.selection1.line, 'selection:line')
  check_nil(Editor_state.selection1.pos, 'selection:pos')
--?   check_eq(Editor_state.selection1.line, 2, 'selection:line')
--?   check_eq(Editor_state.selection1.pos, 4, 'selection:pos')
  check_eq(Editor_state.cursor1.line, 2, 'baseline/cursor:line')
  check_eq(Editor_state.cursor1.pos, 4, 'baseline/cursor:pos')
  check_nil(Editor_state.selection1.line, 'baseline/selection:line')
  check_nil(Editor_state.selection1.pos, 'baseline/selection:pos')
  check_eq(Editor_state.cursor1.line, 2, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 4, 'cursor:pos')
  check_nil(Editor_state.selection1.line, 'selection:line')
  check_nil(Editor_state.selection1.pos, 'selection:pos')
  check_eq(Editor_state.lines[1].data, 'abc', 'data:1')
  check_eq(Editor_state.lines[2].data, 'f', 'data:2')
  check_eq(Editor_state.lines[1].data, 'a', 'data:1')
  check_eq(Editor_state.lines[2].data, 'def', 'data:2')
  check_eq(Editor_state.lines[1].data, 'akl', 'data:1')
  check_eq(Editor_state.lines[2].data, 'mno', 'data:2')
  check_eq(Editor_state.lines[1].data, 'bc', 'data')
  check_eq(Editor_state.lines[1].data, 'bc', 'data')
  check_eq(Editor_state.lines[1].data, 'abcdef', 'check')
  y = Editor_state.top
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 1, 'cursor')
  check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
  check_eq(Editor_state.cursor1.line, 3, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 8, 'cursor:pos')
  y = Editor_state.top
  check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
  check_eq(Editor_state.cursor1.line, 3, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 6, 'cursor:pos')
  y = Editor_state.top
  check_eq(Editor_state.screen_top1.line, 4, 'screen_top')
  check_eq(Editor_state.cursor1.line, 5, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
  check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
  check_eq(Editor_state.cursor1.line, 4, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 1, 'cursor')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 1, 'cursor')
  y = Editor_state.top
  y = Editor_state.top
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 1, 'cursor')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 1, 'cursor')
  check_eq(Editor_state.cursor1.line, 1, 'cursor')
end
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 2, 'cursor')
  check_eq(Editor_state.screen_top1.line, 3, 'screen_top')
  check_eq(Editor_state.cursor1.line, 3, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 5, 'cursor:pos')
  check_eq(Editor_state.screen_top1.line, 3, 'baseline2/screen_top')
  check_eq(Editor_state.cursor1.line, 3, 'baseline2/cursor:line')
  check_eq(Editor_state.cursor1.pos, 1, 'baseline2/cursor:pos')
  check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
  check_eq(Editor_state.cursor1.line, 3, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 5, 'cursor:pos')
  check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
  check_eq(Editor_state.cursor1.line, 3, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 5, 'cursor:pos')
  check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
  check_eq(Editor_state.cursor1.line, 4, 'cursor')
  check_eq(Editor_state.cursor1.line, 3, 'cursor')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 2, 'cursor')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top:line')
  check_eq(Editor_state.screen_top1.pos, 9, 'screen_top:pos')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top:line')
  check_eq(Editor_state.screen_top1.pos, 9, 'screen_top:pos')
  check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
  check_eq(Editor_state.cursor1.line, 3, 'cursor')
  check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
  check_eq(Editor_state.cursor1.line, 2, 'cursor')
  -- no crash
  App.fake_key_release('lctrl')
  edit.key_release(Editor_state, 'lctrl')
  -- selection
  check_eq(Editor_state.selection1.line, 1, 'selection:line')
  check_eq(Editor_state.selection1.pos, 1, 'selection:pos')
  check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 8, 'cursor:pos')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 2, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 2, 'cursor:pos')
  check_eq(Editor_state.cursor1.line, 2, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
  check_eq(Editor_state.lines[1].data, '', 'data:1')
  check_eq(Editor_state.lines[2].data, 'abc', 'data:2')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(Editor_state.cursor1.line, 2, 'cursor:line')
  check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
  -- page scrolls up
  -- selection is reset since shift key is not pressed
  -- selection includes the newline, so it's also deleted
  check_eq(App.clipboard, 'a', 'clipboard')
  check_eq(App.clipboard, 'a', 'clipboard')
  -- no change to data, selection is reset
  App.fake_key_release('lshift')
  check_eq(Editor_state.cursor1.line, 2, 'line')
  check_eq(Editor_state.cursor1.pos, 4, 'pos')
  check_eq(Editor_state.cursor1.pos, 9, 'check')
  check_eq(Editor_state.cursor1.pos, 4, 'check')
  check_eq(Editor_state.cursor1.pos, 8, 'check')
  check_eq(Editor_state.cursor1.pos, 4, 'check')
  check_eq(Editor_state.cursor1.line, 1, 'line')
  check_eq(Editor_state.cursor1.pos, 5, 'pos')
  check_eq(Editor_state.cursor1.pos, 1, 'check')
  check_eq(Editor_state.cursor1.pos, 9, 'check')
  check_eq(Editor_state.cursor1.pos, 1, 'check')
  check_eq(Editor_state.cursor1.pos, 1, 'check')
  check_eq(Editor_state.cursor1.pos, 1, 'check')
  check_eq(Editor_state.cursor1.line, 2, 'line')
  check_eq(Editor_state.cursor1.pos, 1, 'pos')
  check_eq(Editor_state.cursor1.line, 1, 'line')
  check_eq(Editor_state.cursor1.pos, 4, 'pos')  -- past end of line
  check_eq(Editor_state.cursor1.pos, 2, 'check')
  check_eq(Editor_state.cursor1.pos, 1, 'check')
end
function test_move_left()
  check_eq(#Editor_state.lines, 1, '#lines')
  check_eq(Editor_state.cursor1.line, 1, 'cursor')
  check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
  check_eq(#Editor_state.lines, 1, '#lines')
  check_eq(Editor_state.cursor1.line, 1, 'cursor')

File deletion: source_tests.lua, source_tests.lua
BFD:BFD[4.2] → [19.150262:150302]
BFD:BFD[4.2] → [19.150262:150302]
BFD:BFD[19.150302] → [19.147166:147166]
B:BD[7.44] → [3.4714:4751]
B:BD[7.118] → [3.4752:4789]
∅:D[3.4789] → [27.3424:3454]
∅:D[3.4751] → [8.23382:23422]
```
  App.run_after_keychord('C-l', 'l')
  App.run_after_keychord('C-l', 'l')
  -- margins are now adjusted
  check(Show_log_browser_side, 'check')
```
File deletion: source_edit.lua, source_edit.lua
BFD:BFD[4.2] → [19.165788:165827]
BFD:BFD[4.2] → [19.165788:165827]
BFD:BFD[19.165827] → [19.152503:152503]
B:BD[16.6320] → [3.4793:4917]
∅:D[3.4917] → [19.165034:165061]
```
function edit.run_after_keychord(State, chord, key)
  edit.keychord_press(State, chord, key)
  edit.key_release(State, key)
  App.screen.contents = {}
```