− App.screen.check(y, 'I’m ad', 'screen:3')
− App.screen.check(y, 'hi ', 'baseline/screen:3')
− App.screen.check(y, 'hi ', 'screen:1')
− App.screen.check(y, 'jkl m', 'screen:2')
− App.screen.check(y, 'no p', 'screen:3')
− end
−
− function test_pagedown_never_moves_up()
− -- draw the final screen line of a wrapping line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc def ghi'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=10}
− Editor_state.screen_top1 = {line=1, pos=10}
− edit.draw(Editor_state)
− -- pagedown makes no change
− edit.run_after_keychord(Editor_state, 'pagedown', 'pagedown')
− check_eq(Editor_state.screen_top1.line, 1, 'screen_top:line')
− check_eq(Editor_state.screen_top1.pos, 10, 'screen_top:pos')
− end
−
− function test_down_arrow_moves_cursor()
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− -- initially the first three lines are displayed
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:3')
− -- after hitting the down arrow, the cursor moves down by 1 line
− edit.run_after_keychord(Editor_state, 'down', 'down')
− check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
− check_eq(Editor_state.cursor1.line, 2, 'cursor')
− -- the screen is unchanged
− y = Editor_state.top
− App.screen.check(y, 'abc', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'screen:3')
− end
−
− function test_down_arrow_skips_drawing()
− -- some lines of text with a drawing intermixed
− local drawing_width = 50
− App.screen.init{width=Editor_state.left+drawing_width, height=100}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', -- height 15
− '```lines', '```', -- height 25
− 'ghi'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− local drawing_height = Drawing_padding_height + drawing_width/2 -- default
− y = y + drawing_height
− App.screen.check(y, 'ghi', 'baseline/screen:3')
− check(Editor_state.cursor_x, 'baseline/cursor_x')
− -- after hitting the down arrow the cursor moves down by 2 lines, skipping the drawing
− edit.run_after_keychord(Editor_state, 'down', 'down')
− check_eq(Editor_state.cursor1.line, 3, 'cursor')
− end
−
− function test_down_arrow_scrolls_down_by_one_line()
− -- display the first three lines with the cursor on the bottom line
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:3')
− -- after hitting the down arrow the screen scrolls down by one line
− edit.run_after_keychord(Editor_state, 'down', 'down')
− check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
− check_eq(Editor_state.cursor1.line, 4, 'cursor')
− y = Editor_state.top
− App.screen.check(y, 'def', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl', 'screen:3')
− end
−
− function test_down_arrow_scrolls_down_by_one_screen_line()
− -- display the first three lines with the cursor on the bottom line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghij kl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghij ', 'baseline/screen:3') -- line wrapping includes trailing whitespace
− -- after hitting the down arrow the screen scrolls down by one line
− edit.run_after_keychord(Editor_state, 'down', 'down')
− 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
− App.screen.check(y, 'def', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghij ', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'kl', 'screen:3')
− end
−
− function test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word()
− -- display the first three lines with the cursor on the bottom line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghijkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghijk', 'baseline/screen:3')
− -- after hitting the down arrow the screen scrolls down by one line
− edit.run_after_keychord(Editor_state, 'down', 'down')
− 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
− App.screen.check(y, 'def', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghijk', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'l', 'screen:3')
− end
−
− function test_pagedown_followed_by_down_arrow_does_not_scroll_screen_up()
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghijkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghijk', 'baseline/screen:3')
− -- after hitting pagedown the screen scrolls down to start of a long line
− edit.run_after_keychord(Editor_state, 'pagedown', 'pagedown')
− 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')
− -- after hitting down arrow the screen doesn't scroll down further, and certainly doesn't scroll up
− edit.run_after_keychord(Editor_state, 'down', 'down')
− 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, 6, 'cursor:pos')
− y = Editor_state.top
− App.screen.check(y, 'ghijk', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'l', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'screen:3')
− end
−
− function test_up_arrow_moves_cursor()
− -- display the first 3 lines with the cursor on the bottom line
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:3')
− -- after hitting the up arrow the cursor moves up by 1 line
− edit.run_after_keychord(Editor_state, 'up', 'up')
− check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
− check_eq(Editor_state.cursor1.line, 2, 'cursor')
− -- the screen is unchanged
− y = Editor_state.top
− App.screen.check(y, 'abc', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'screen:3')
− end
−
− function test_up_arrow_skips_drawing()
− -- some lines of text with a drawing intermixed
− local drawing_width = 50
− App.screen.init{width=Editor_state.left+drawing_width, height=100}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', -- height 15
− '```lines', '```', -- height 25
− 'ghi'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− local drawing_height = Drawing_padding_height + drawing_width/2 -- default
− y = y + drawing_height
− App.screen.check(y, 'ghi', 'baseline/screen:3')
− check(Editor_state.cursor_x, 'baseline/cursor_x')
− -- after hitting the up arrow the cursor moves up by 2 lines, skipping the drawing
− edit.run_after_keychord(Editor_state, 'up', 'up')
− check_eq(Editor_state.cursor1.line, 1, 'cursor')
− end
−
− function test_up_arrow_scrolls_up_by_one_line()
− -- display the lines 2/3/4 with the cursor on line 2
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.screen_top1 = {line=2, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'def', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl', 'baseline/screen:3')
− -- after hitting the up arrow the screen scrolls up by one line
− edit.run_after_keychord(Editor_state, 'up', 'up')
− check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
− check_eq(Editor_state.cursor1.line, 1, 'cursor')
− y = Editor_state.top
− App.screen.check(y, 'abc', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'screen:3')
− end
−
− function test_up_arrow_scrolls_up_by_one_line_skipping_drawing()
− -- display lines 3/4/5 with a drawing just off screen at line 2
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', '```lines', '```', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=1}
− Editor_state.screen_top1 = {line=3, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'def', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl', 'baseline/screen:3')
− -- after hitting the up arrow the screen scrolls up to previous text line
− edit.run_after_keychord(Editor_state, 'up', 'up')
− check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
− check_eq(Editor_state.cursor1.line, 1, 'cursor')
− end
−
− function test_up_arrow_scrolls_up_by_one_screen_line()
− -- display lines starting from second screen line of a line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=6}
− Editor_state.screen_top1 = {line=3, pos=6}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'kl', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'baseline/screen:2')
− -- after hitting the up arrow the screen scrolls up to first screen line
− edit.run_after_keychord(Editor_state, 'up', 'up')
− y = Editor_state.top
− App.screen.check(y, 'ghi j', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'kl', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'screen:3')
− check_eq(Editor_state.screen_top1.line, 3, 'screen_top:line')
− check_eq(Editor_state.screen_top1.pos, 1, 'screen_top:pos')
− check_eq(Editor_state.cursor1.line, 3, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
− end
−
− function test_up_arrow_scrolls_up_to_final_screen_line()
− -- display lines starting just after a long line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc def', 'ghi', 'jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.screen_top1 = {line=2, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'ghi', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'baseline/screen:3')
− -- after hitting the up arrow the screen scrolls up to final screen line of previous line
− edit.run_after_keychord(Editor_state, 'up', 'up')
− y = Editor_state.top
− App.screen.check(y, 'def', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl', 'screen:3')
− check_eq(Editor_state.screen_top1.line, 1, 'screen_top:line')
− check_eq(Editor_state.screen_top1.pos, 5, 'screen_top:pos')
− check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 5, 'cursor:pos')
− end
−
− function test_up_arrow_scrolls_up_to_empty_line()
− -- display a screenful of text with an empty line just above it outside the screen
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'', 'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.screen_top1 = {line=2, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:3')
− -- after hitting the up arrow the screen scrolls up by one line
− edit.run_after_keychord(Editor_state, 'up', 'up')
− check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
− check_eq(Editor_state.cursor1.line, 1, 'cursor')
− y = Editor_state.top
− -- empty first line
− y = y + Editor_state.line_height
− App.screen.check(y, 'abc', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:3')
− end
−
− function test_pageup()
− App.screen.init{width=120, height=45}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.screen_top1 = {line=2, pos=1}
− -- initially the last two lines are displayed
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'def', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:2')
− -- after pageup the cursor goes to first line
− edit.run_after_keychord(Editor_state, 'pageup', 'pageup')
− check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
− check_eq(Editor_state.cursor1.line, 1, 'cursor')
− y = Editor_state.top
− App.screen.check(y, 'abc', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:2')
− end
−
− function test_pageup_scrolls_up_by_screen_line()
− -- display the first three lines with the cursor on the bottom line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc def', 'ghi', 'jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.screen_top1 = {line=2, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'ghi', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'baseline/screen:3') -- line wrapping includes trailing whitespace
− -- after hitting the page-up key the screen scrolls up to top
− edit.run_after_keychord(Editor_state, 'pageup', 'pageup')
− 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')
− y = Editor_state.top
− App.screen.check(y, 'abc ', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'screen:3')
− end
−
− function test_pageup_scrolls_up_from_middle_screen_line()
− -- display a few lines starting from the middle of a line (Editor_state.cursor1.pos > 1)
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc def', 'ghi jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=6}
− Editor_state.screen_top1 = {line=2, pos=6}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'kl', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'baseline/screen:3') -- line wrapping includes trailing whitespace
− -- after hitting the page-up key the screen scrolls up to top
− edit.run_after_keychord(Editor_state, 'pageup', 'pageup')
− 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')
− y = Editor_state.top
− App.screen.check(y, 'abc ', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi j', 'screen:3')
− end
−
− function test_enter_on_bottom_line_scrolls_down()
− -- display a few lines with cursor on bottom line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:3')
− -- after hitting the enter key the screen scrolls down
− edit.run_after_keychord(Editor_state, 'return', 'return')
− 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')
− y = Editor_state.top
− App.screen.check(y, 'def', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'g', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'hi', 'screen:3')
− end
−
− function test_enter_on_final_line_avoids_scrolling_down_when_not_at_bottom()
− -- display just the bottom line on screen
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=4, pos=2}
− Editor_state.screen_top1 = {line=4, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'jkl', 'baseline/screen:1')
− -- after hitting the enter key the screen does not scroll down
− edit.run_after_keychord(Editor_state, 'return', 'return')
− 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')
− y = Editor_state.top
− App.screen.check(y, 'j', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'kl', 'screen:2')
− end
−
− function test_inserting_text_on_final_line_avoids_scrolling_down_when_not_at_bottom()
− -- display just an empty bottom line on screen
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', ''}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.screen_top1 = {line=2, pos=1}
− edit.draw(Editor_state)
− -- after hitting the inserting_text key the screen does not scroll down
− edit.run_after_text_input(Editor_state, 'a')
− check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
− check_eq(Editor_state.cursor1.line, 2, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 2, 'cursor:pos')
− local y = Editor_state.top
− App.screen.check(y, 'a', 'screen:1')
− end
−
− function test_typing_on_bottom_line_scrolls_down()
− -- display a few lines with cursor on bottom line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'pqr'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=4}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:3')
− -- after typing something the line wraps and the screen scrolls down
− edit.run_after_text_input(Editor_state, 'j')
− edit.run_after_text_input(Editor_state, 'k')
− edit.run_after_text_input(Editor_state, 'l')
− 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, 7, 'cursor:pos')
− y = Editor_state.top
− App.screen.check(y, 'def', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghijk', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'l', 'screen:3')
− end
−
− function test_left_arrow_scrolls_up_in_wrapped_line()
− -- display lines starting from second screen line of a line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.screen_top1 = {line=3, pos=6}
− -- cursor is at top of screen
− Editor_state.cursor1 = {line=3, pos=6}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'kl', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'baseline/screen:2')
− -- after hitting the left arrow the screen scrolls up to first screen line
− edit.run_after_keychord(Editor_state, 'left', 'left')
− y = Editor_state.top
− App.screen.check(y, 'ghi j', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'kl', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'screen:3')
− check_eq(Editor_state.screen_top1.line, 3, 'screen_top:line')
− check_eq(Editor_state.screen_top1.pos, 1, 'screen_top:pos')
− check_eq(Editor_state.cursor1.line, 3, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 5, 'cursor:pos')
− end
−
− function test_right_arrow_scrolls_down_in_wrapped_line()
− -- display the first three lines with the cursor on the bottom line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.screen_top1 = {line=1, pos=1}
− -- cursor is at bottom right of screen
− Editor_state.cursor1 = {line=3, pos=6}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi j', 'baseline/screen:3') -- line wrapping includes trailing whitespace
− -- after hitting the right arrow the screen scrolls down by one line
− edit.run_after_keychord(Editor_state, 'right', 'right')
− 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, 7, 'cursor:pos')
− y = Editor_state.top
− App.screen.check(y, 'def', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi j', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'kl', 'screen:3')
− end
−
− function test_home_scrolls_up_in_wrapped_line()
− -- display lines starting from second screen line of a line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.screen_top1 = {line=3, pos=6}
− -- cursor is at top of screen
− Editor_state.cursor1 = {line=3, pos=6}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'kl', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'baseline/screen:2')
− -- after hitting home the screen scrolls up to first screen line
− edit.run_after_keychord(Editor_state, 'home', 'home')
− y = Editor_state.top
− App.screen.check(y, 'ghi j', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'kl', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'screen:3')
− check_eq(Editor_state.screen_top1.line, 3, 'screen_top:line')
− check_eq(Editor_state.screen_top1.pos, 1, 'screen_top:pos')
− check_eq(Editor_state.cursor1.line, 3, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
− end
−
− function test_end_scrolls_down_in_wrapped_line()
− -- display the first three lines with the cursor on the bottom line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.screen_top1 = {line=1, pos=1}
− -- cursor is at bottom right of screen
− Editor_state.cursor1 = {line=3, pos=5}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi j', 'baseline/screen:3')
− -- after hitting end the screen scrolls down by one line
− edit.run_after_keychord(Editor_state, 'end', 'end')
− 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
− App.screen.check(y, 'def', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi j', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'kl', 'screen:3')
− end
−
− function test_position_cursor_on_recently_edited_wrapping_line()
− -- draw a line wrapping over 2 screen lines
− App.screen.init{width=100, height=200}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc def ghi jkl mno pqr ', 'xyz'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=25}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc def ghi ', 'baseline1/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl mno pqr ', 'baseline1/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'xyz', 'baseline1/screen:3')
− -- add to the line until it's wrapping over 3 screen lines
− edit.run_after_text_input(Editor_state, 's')
− edit.run_after_text_input(Editor_state, 't')
− edit.run_after_text_input(Editor_state, 'u')
− check_eq(Editor_state.cursor1.pos, 28, 'cursor:pos')
− y = Editor_state.top
− App.screen.check(y, 'abc def ghi ', 'baseline2/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl mno pqr ', 'baseline2/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'stu', 'baseline2/screen:3')
− -- try to move the cursor earlier in the third screen line by clicking the mouse
− edit.run_after_mouse_release(Editor_state, Editor_state.left+2,Editor_state.top+Editor_state.line_height*2+5, 1)
− -- cursor should move
− check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 25, 'cursor:pos')
− end
−
− function test_backspace_can_scroll_up()
− -- display the lines 2/3/4 with the cursor on line 2
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.screen_top1 = {line=2, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'def', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl', 'baseline/screen:3')
− -- after hitting backspace the screen scrolls up by one line
− edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
− check_eq(Editor_state.screen_top1.line, 1, 'screen_top')
− check_eq(Editor_state.cursor1.line, 1, 'cursor')
− y = Editor_state.top
− App.screen.check(y, 'abcdef', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl', 'screen:3')
− end
−
− function test_backspace_can_scroll_up_screen_line()
− -- display lines starting from second screen line of a line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=6}
− Editor_state.screen_top1 = {line=3, pos=6}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'kl', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'baseline/screen:2')
− -- after hitting backspace the screen scrolls up by one screen line
− edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
− y = Editor_state.top
− App.screen.check(y, 'ghi k', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'l', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'mno', 'screen:3')
− check_eq(Editor_state.screen_top1.line, 3, 'screen_top:line')
− check_eq(Editor_state.screen_top1.pos, 1, 'screen_top:pos')
− check_eq(Editor_state.cursor1.line, 3, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 5, 'cursor:pos')
− end
−
− function test_backspace_past_line_boundary()
− -- position cursor at start of a (non-first) line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− -- backspace joins with previous line
− edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
− check_eq(Editor_state.lines[1].data, 'abcdef', 'check')
− end
−
− -- some tests for operating over selections created using Shift- chords
− -- we're just testing delete_selection, and it works the same for all keys
−
− function test_backspace_over_selection()
− -- select just one character within a line with cursor before selection
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.selection1 = {line=1, pos=2}
− -- backspace deletes the selected character, even though it's after the cursor
− edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
− check_eq(Editor_state.lines[1].data, 'bc', 'data')
− -- cursor (remains) at start of selection
− check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
− -- selection is cleared
− check_nil(Editor_state.selection1.line, 'selection')
− end
−
− function test_backspace_over_selection_reverse()
− -- select just one character within a line with cursor after selection
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=2}
− Editor_state.selection1 = {line=1, pos=1}
− -- backspace deletes the selected character
− edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
− check_eq(Editor_state.lines[1].data, 'bc', 'data')
− -- cursor moves to start of selection
− check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
− -- selection is cleared
− check_nil(Editor_state.selection1.line, 'selection')
− end
−
− function test_backspace_over_multiple_lines()
− -- select just one character within a line with cursor after selection
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=2}
− Editor_state.selection1 = {line=4, pos=2}
− -- backspace deletes the region and joins the remaining portions of lines on either side
− edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
− check_eq(Editor_state.lines[1].data, 'akl', 'data:1')
− check_eq(Editor_state.lines[2].data, 'mno', 'data:2')
− -- cursor remains at start of selection
− check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 2, 'cursor:pos')
− -- selection is cleared
− check_nil(Editor_state.selection1.line, 'selection')
− end
−
− function test_backspace_to_end_of_line()
− -- select region from cursor to end of line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=2}
− Editor_state.selection1 = {line=1, pos=4}
− -- backspace deletes rest of line without joining to any other line
− edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
− check_eq(Editor_state.lines[1].data, 'a', 'data:1')
− check_eq(Editor_state.lines[2].data, 'def', 'data:2')
− -- cursor remains at start of selection
− check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 2, 'cursor:pos')
− -- selection is cleared
− check_nil(Editor_state.selection1.line, 'selection')
− end
−
− function test_backspace_to_start_of_line()
− -- select region from cursor to start of line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl', 'mno'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.selection1 = {line=2, pos=3}
− -- backspace deletes beginning of line without joining to any other line
− edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
− check_eq(Editor_state.lines[1].data, 'abc', 'data:1')
− check_eq(Editor_state.lines[2].data, 'f', 'data:2')
− -- cursor remains at start of selection
− check_eq(Editor_state.cursor1.line, 2, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 1, 'cursor:pos')
− -- selection is cleared
− check_nil(Editor_state.selection1.line, 'selection')
− end
−
− function test_undo_insert_text()
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'xyz'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=4}
− Editor_state.screen_top1 = {line=1, pos=1}
− -- insert a character
− edit.draw(Editor_state)
− edit.run_after_text_input(Editor_state, 'g')
− check_eq(Editor_state.cursor1.line, 2, 'baseline/cursor:line')
− check_eq(Editor_state.cursor1.pos, 5, 'baseline/cursor:pos')
− check_nil(Editor_state.selection1.line, 'baseline/selection:line')
− check_nil(Editor_state.selection1.pos, 'baseline/selection:pos')
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'defg', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'xyz', 'baseline/screen:3')
− -- undo
− edit.run_after_keychord(Editor_state, 'C-z', 'z')
− 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')
− y = Editor_state.top
− App.screen.check(y, 'abc', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'xyz', 'screen:3')
− end
−
− function test_undo_delete_text()
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'defg', 'xyz'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=5}
− Editor_state.screen_top1 = {line=1, pos=1}
− -- delete a character
− edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
− 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')
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'xyz', 'baseline/screen:3')
− -- undo
− --? -- after undo, the backspaced key is selected
− edit.run_after_keychord(Editor_state, 'C-z', 'z')
− 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')
− y = Editor_state.top
− App.screen.check(y, 'abc', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'defg', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'xyz', 'screen:3')
− end
−
− function test_undo_restores_selection()
− -- display a line of text with some part selected
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.selection1 = {line=1, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- delete selected text
− edit.run_after_text_input(Editor_state, 'x')
− check_eq(Editor_state.lines[1].data, 'xbc', 'baseline')
− check_nil(Editor_state.selection1.line, 'baseline:selection')
− -- undo
− edit.run_after_keychord(Editor_state, 'C-z', 'z')
− edit.run_after_keychord(Editor_state, 'C-z', 'z')
− -- selection is restored
− check_eq(Editor_state.selection1.line, 1, 'line')
− check_eq(Editor_state.selection1.pos, 2, 'pos')
− end
−
− function test_search()
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'```lines', '```', 'def', 'ghi', '’deg'} -- contains unicode quote in final line
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- search for a string
− edit.run_after_keychord(Editor_state, 'C-f', 'f')
− edit.run_after_text_input(Editor_state, 'd')
− edit.run_after_keychord(Editor_state, 'return', 'return')
− check_eq(Editor_state.cursor1.line, 2, '1/cursor:line')
− check_eq(Editor_state.cursor1.pos, 1, '1/cursor:pos')
− -- reset cursor
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− -- search for second occurrence
− edit.run_after_keychord(Editor_state, 'C-f', 'f')
− edit.run_after_text_input(Editor_state, 'de')
− edit.run_after_keychord(Editor_state, 'down', 'down')
− edit.run_after_keychord(Editor_state, 'return', 'return')
− check_eq(Editor_state.cursor1.line, 4, '2/cursor:line')
− check_eq(Editor_state.cursor1.pos, 2, '2/cursor:pos')
− end
−
− function test_search_upwards()
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'’abc', 'abd'} -- contains unicode quote
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- search for a string
− edit.run_after_keychord(Editor_state, 'C-f', 'f')
− edit.run_after_text_input(Editor_state, 'a')
− -- search for previous occurrence
− edit.run_after_keychord(Editor_state, 'up', 'up')
− check_eq(Editor_state.cursor1.line, 1, '2/cursor:line')
− check_eq(Editor_state.cursor1.pos, 2, '2/cursor:pos')
− end
−
− function test_search_wrap()
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'’abc', 'def'} -- contains unicode quote in first line
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- search for a string
− edit.run_after_keychord(Editor_state, 'C-f', 'f')
− edit.run_after_text_input(Editor_state, 'a')
− edit.run_after_keychord(Editor_state, 'return', 'return')
− -- cursor wraps
− check_eq(Editor_state.cursor1.line, 1, '1/cursor:line')
− check_eq(Editor_state.cursor1.pos, 2, '1/cursor:pos')
− end
−
− function test_search_wrap_upwards()
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc ’abd'} -- contains unicode quote
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- search upwards for a string
− edit.run_after_keychord(Editor_state, 'C-f', 'f')
− edit.run_after_text_input(Editor_state, 'a')
− edit.run_after_keychord(Editor_state, 'up', 'up')
− -- cursor wraps
− check_eq(Editor_state.cursor1.line, 1, '1/cursor:line')
− check_eq(Editor_state.cursor1.pos, 6, '1/cursor:pos')
− end
−
− function test_search_downwards_from_end_of_line()
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=4}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- search for empty string
− edit.run_after_keychord(Editor_state, 'C-f', 'f')
− edit.run_after_keychord(Editor_state, 'down', 'down')
− -- no crash
− end
−
− function test_search_downwards_from_final_pos_of_line()
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=3}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- search for empty string
− edit.run_after_keychord(Editor_state, 'C-f', 'f')
− edit.run_after_keychord(Editor_state, 'down', 'down')
− -- no crash
− end
− y = y + Editor_state.line_height
− y = y + Editor_state.line_height
− -- after pagedown we scroll down the very long wrapping line
− edit.run_after_keychord(Editor_state, 'pagedown', 'pagedown')
− check_eq(Editor_state.screen_top1.line, 1, 'screen_top:line')
− check_eq(Editor_state.screen_top1.pos, 10, 'screen_top:pos')
− y = Editor_state.top
− end
−
− function test_click_past_end_of_screen_line()
− -- display a wrapping line
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− -- 12345678901234
− Editor_state.lines = load_array{"madam I'm adam"}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'madam ', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, "I'm ada", 'baseline/screen:2')
− y = y + Editor_state.line_height
− -- click past end of second screen line
− edit.run_after_mouse_click(Editor_state, App.screen.width-2,y-2, 1)
− -- cursor moves to end of screen line (one more than final character shown)
− check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 14, 'cursor:pos')
− end
−
− function test_click_on_wrapping_line_rendered_from_partway_at_top_of_screen()
− -- display a wrapping line from its second screen line
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− -- 12345678901234
− Editor_state.lines = load_array{"madam I'm adam"}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=8}
− Editor_state.screen_top1 = {line=1, pos=7}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, "I'm ada", 'baseline/screen:2')
− y = y + Editor_state.line_height
− -- click past end of second screen line
− edit.run_after_mouse_click(Editor_state, App.screen.width-2,y-2, 1)
− -- cursor moves to end of screen line (one more than final character shown)
− check_eq(Editor_state.cursor1.line, 1, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 14, 'cursor:pos')
− end
−
− function test_click_past_end_of_wrapping_line()
− -- display a wrapping line
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− -- 12345678901234
− Editor_state.lines = load_array{"madam I'm adam"}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'madam ', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, "I'm ada", 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'm', 'baseline/screen:3')
− y = y + Editor_state.line_height
− -- click past the end of it
− edit.run_after_mouse_click(Editor_state, App.screen.width-2,y-2, 1)
− -- cursor moves to end of line
− check_eq(Editor_state.cursor1.pos, 15, 'cursor') -- one more than the number of UTF-8 code-points
− end
−
− function test_click_past_end_of_wrapping_line_containing_non_ascii()
− -- display a wrapping line containing non-ASCII
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− -- 12345678901234
− Editor_state.lines = load_array{'madam I’m adam'} -- notice the non-ASCII apostrophe
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'madam ', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'I’m ada', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'm', 'baseline/screen:3')
− y = y + Editor_state.line_height
− -- click past the end of it
− edit.run_after_mouse_click(Editor_state, App.screen.width-2,y-2, 1)
− -- cursor moves to end of line
− check_eq(Editor_state.cursor1.pos, 15, 'cursor') -- one more than the number of UTF-8 code-points
− end
−
− function test_click_past_end_of_word_wrapping_line()
− -- display a long line wrapping at a word boundary on a screen of more realistic length
− App.screen.init{width=160, height=80}
− Editor_state = edit.initialize_test_state()
− -- 0 1 2
− -- 123456789012345678901
− Editor_state.lines = load_array{'the quick brown fox jumped over the lazy dog'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'the quick brown fox ', 'baseline/screen:1')
− y = y + Editor_state.line_height
− -- click past the end of the screen line
− edit.run_after_mouse_click(Editor_state, App.screen.width-2,y-2, 1)
− -- cursor moves to end of screen line (one more than final character shown)
− check_eq(Editor_state.cursor1.pos, 21, 'cursor')
− end
−
− function test_select_text()
− -- display a line of text
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc def'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- select a letter
− App.fake_key_press('lshift')
− edit.run_after_keychord(Editor_state, 'S-right', 'right')
− App.fake_key_release('lshift')
− edit.key_release(Editor_state, 'lshift')
− -- selection persists even after shift is released
− 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, 2, 'cursor:pos')
− end
−
− function test_cursor_movement_without_shift_resets_selection()
− -- display a line of text with some part selected
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.selection1 = {line=1, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- press an arrow key without shift
− edit.run_after_keychord(Editor_state, 'right', 'right')
− -- no change to data, selection is reset
− check_nil(Editor_state.selection1.line, 'check')
− check_eq(Editor_state.lines[1].data, 'abc', 'data')
− end
−
− function test_edit_deletes_selection()
− -- display a line of text with some part selected
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.selection1 = {line=1, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- press a key
− edit.run_after_text_input(Editor_state, 'x')
− -- selected text is deleted and replaced with the key
− check_eq(Editor_state.lines[1].data, 'xbc', 'check')
− end
−
− function test_edit_with_shift_key_deletes_selection()
− -- display a line of text with some part selected
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.selection1 = {line=1, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- mimic precise keypresses for a capital letter
− App.fake_key_press('lshift')
− edit.keychord_press(Editor_state, 'd', 'd')
− edit.text_input(Editor_state, 'D')
− edit.key_release(Editor_state, 'd')
− App.fake_key_release('lshift')
− -- selected text is deleted and replaced with the key
− check_nil(Editor_state.selection1.line, 'check')
− check_eq(Editor_state.lines[1].data, 'Dbc', 'data')
− end
−
− function test_copy_does_not_reset_selection()
− -- display a line of text with a selection
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.selection1 = {line=1, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- copy selection
− edit.run_after_keychord(Editor_state, 'C-c', 'c')
− check_eq(App.clipboard, 'a', 'clipboard')
− -- selection is reset since shift key is not pressed
− check(Editor_state.selection1.line, 'check')
− end
−
− function test_cut()
− -- display a line of text with some part selected
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.selection1 = {line=1, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- press a key
− edit.run_after_keychord(Editor_state, 'C-x', 'x')
− check_eq(App.clipboard, 'a', 'clipboard')
− -- selected text is deleted
− check_eq(Editor_state.lines[1].data, 'bc', 'data')
− end
−
− function test_paste_replaces_selection()
− -- display a line of text with a selection
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=1}
− Editor_state.selection1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- set clipboard
− App.clipboard = 'xyz'
− -- paste selection
− edit.run_after_keychord(Editor_state, 'C-v', 'v')
− -- selection is reset since shift key is not pressed
− -- selection includes the newline, so it's also deleted
− check_eq(Editor_state.lines[1].data, 'xyzdef', 'check')
− end
−
− function test_deleting_selection_may_scroll()
− -- display lines 2/3/4
− App.screen.init{width=120, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=3, pos=2}
− Editor_state.screen_top1 = {line=2, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'def', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'jkl', 'baseline/screen:3')
− -- set up a selection starting above the currently displayed page
− Editor_state.selection1 = {line=1, pos=2}
− -- delete selection
− edit.run_after_keychord(Editor_state, 'backspace', 'backspace')
− -- page scrolls up
− check_eq(Editor_state.screen_top1.line, 1, 'check')
− check_eq(Editor_state.lines[1].data, 'ahi', 'data')
− end
−
− function test_edit_wrapping_text()
− App.screen.init{width=50, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'xyz'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=4}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− edit.run_after_text_input(Editor_state, 'g')
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'g', 'screen:3')
− end
−
− function test_insert_newline()
− -- display a few lines
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:3')
− -- hitting the enter key splits the line
− edit.run_after_keychord(Editor_state, 'return', 'return')
− 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')
− y = Editor_state.top
− App.screen.check(y, 'a', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'bc', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:3')
− end
−
− function test_insert_newline_at_start_of_line()
− -- display a line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− -- hitting the enter key splits the line
− edit.run_after_keychord(Editor_state, 'return', 'return')
− 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')
− end
−
− function test_insert_from_clipboard()
− -- display a few lines
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'baseline/screen:3')
− -- paste some text including a newline, check that new line is created
− App.clipboard = 'xy\nz'
− edit.run_after_keychord(Editor_state, 'C-v', 'v')
− 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')
− y = Editor_state.top
− App.screen.check(y, 'axy', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'zbc', 'screen:2')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'screen:3')
− end
−
− function test_select_text_using_mouse()
− App.screen.init{width=50, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'xyz'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− Editor_state.selection1 = {}
− edit.draw(Editor_state) -- populate line_cache.startpos for each line
− -- press and hold on first location
− edit.run_after_mouse_press(Editor_state, Editor_state.left+8,Editor_state.top+5, 1)
− -- drag and release somewhere else
− edit.run_after_mouse_release(Editor_state, Editor_state.left+20,Editor_state.top+Editor_state.line_height+5, 1)
− check_eq(Editor_state.selection1.line, 1, 'selection:line')
− check_eq(Editor_state.selection1.pos, 2, 'selection:pos')
− check_eq(Editor_state.cursor1.line, 2, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 4, 'cursor:pos')
− end
−
− function test_select_text_using_mouse_starting_above_text()
− App.screen.init{width=50, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'xyz'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− Editor_state.selection1 = {}
− edit.draw(Editor_state) -- populate line_cache.startpos for each line
− -- press mouse above first line of text
− edit.run_after_mouse_press(Editor_state, Editor_state.left+8,5, 1)
− check(Editor_state.selection1.line ~= nil, 'selection:line-not-nil')
− check_eq(Editor_state.selection1.line, 1, 'selection:line')
− check_eq(Editor_state.selection1.pos, 1, 'selection:pos')
− end
−
− function test_select_text_using_mouse_starting_above_text_wrapping_line()
− -- first screen line starts in the middle of a line
− App.screen.init{width=50, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'defgh', 'xyz'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=2, pos=5}
− Editor_state.screen_top1 = {line=2, pos=3}
− -- press mouse above first line of text
− edit.draw(Editor_state)
− edit.run_after_mouse_press(Editor_state, Editor_state.left+8,5, 1)
− -- selection is at screen top
− check(Editor_state.selection1.line ~= nil, 'selection:line-not-nil')
− check_eq(Editor_state.selection1.line, 2, 'selection:line')
− check_eq(Editor_state.selection1.pos, 3, 'selection:pos')
− end
−
− function test_select_text_using_mouse_starting_below_text()
− -- I'd like to test what happens when a mouse click is below some page of
− -- text, potentially even in the middle of a line.
− -- However, it's brittle to set up a text line boundary just right.
− -- So I'm going to just check things below the bottom of the final line of
− -- text when it's in the middle of the screen.
− -- final screen line ends in the middle of screen
− App.screen.init{width=50, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abcde'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline:screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'de', 'baseline:screen:2')
− -- press mouse above first line of text
− edit.run_after_mouse_press(Editor_state, 5,App.screen.height-5, 1)
− -- selection is past bottom-most text in screen
− check(Editor_state.selection1.line ~= nil, 'selection:line-not-nil')
− check_eq(Editor_state.selection1.line, 1, 'selection:line')
− check_eq(Editor_state.selection1.pos, 6, 'selection:pos')
− end
−
− function test_select_text_using_mouse_and_shift()
− App.screen.init{width=50, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'xyz'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− Editor_state.selection1 = {}
− edit.draw(Editor_state) -- populate line_cache.startpos for each line
− -- click on first location
− edit.run_after_mouse_press(Editor_state, Editor_state.left+8,Editor_state.top+5, 1)
− edit.run_after_mouse_release(Editor_state, Editor_state.left+8,Editor_state.top+5, 1)
− -- hold down shift and click somewhere else
− App.fake_key_press('lshift')
− edit.run_after_mouse_press(Editor_state, Editor_state.left+20,Editor_state.top+5, 1)
− edit.run_after_mouse_release(Editor_state, Editor_state.left+20,Editor_state.top+Editor_state.line_height+5, 1)
− App.fake_key_release('lshift')
− check_eq(Editor_state.selection1.line, 1, 'selection:line')
− check_eq(Editor_state.selection1.pos, 2, 'selection:pos')
− check_eq(Editor_state.cursor1.line, 2, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 4, 'cursor:pos')
− end
−
− function test_select_text_repeatedly_using_mouse_and_shift()
− App.screen.init{width=50, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'xyz'}
− Text.redraw_all(Editor_state)
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− Editor_state.selection1 = {}
− edit.draw(Editor_state) -- populate line_cache.startpos for each line
− -- click on first location
− edit.run_after_mouse_press(Editor_state, Editor_state.left+8,Editor_state.top+5, 1)
− edit.run_after_mouse_release(Editor_state, Editor_state.left+8,Editor_state.top+5, 1)
− -- hold down shift and click on a second location
− App.fake_key_press('lshift')
− edit.run_after_mouse_press(Editor_state, Editor_state.left+20,Editor_state.top+5, 1)
− edit.run_after_mouse_release(Editor_state, Editor_state.left+20,Editor_state.top+Editor_state.line_height+5, 1)
− -- hold down shift and click at a third location
− App.fake_key_press('lshift')
− edit.run_after_mouse_press(Editor_state, Editor_state.left+20,Editor_state.top+5, 1)
− edit.run_after_mouse_release(Editor_state, Editor_state.left+8,Editor_state.top+Editor_state.line_height+5, 1)
− App.fake_key_release('lshift')
− -- selection is between first and third location. forget the second location, not the first.
− check_eq(Editor_state.selection1.line, 1, 'selection:line')
− check_eq(Editor_state.selection1.pos, 2, 'selection:pos')
− check_eq(Editor_state.cursor1.line, 2, 'cursor:line')
− check_eq(Editor_state.cursor1.pos, 2, 'cursor:pos')
− end
−
− function test_select_all_text()
− -- display a single line of text
− App.screen.init{width=75, height=80}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc def'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− -- select all
− App.fake_key_press('lctrl')
− edit.run_after_keychord(Editor_state, 'C-a', 'a')
− 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')
− end
−
− function test_cut_without_selection()
− -- display a few lines
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi', 'jkl'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− Editor_state.selection1 = {}
− edit.draw(Editor_state)
− -- try to cut without selecting text
− edit.run_after_keychord(Editor_state, 'C-x', 'x')
− -- no crash
− check_nil(Editor_state.selection1.line, 'check')
− end
−
− function test_pagedown()
− App.screen.init{width=120, height=45}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', 'def', 'ghi'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− -- initially the first two lines are displayed
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def', 'baseline/screen:2')
− -- after pagedown the bottom line becomes the top
− edit.run_after_keychord(Editor_state, 'pagedown', 'pagedown')
− check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
− check_eq(Editor_state.cursor1.line, 2, 'cursor')
− y = Editor_state.top
− App.screen.check(y, 'def', 'screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'ghi', 'screen:2')
− end
−
− function test_pagedown_skips_drawings()
− -- some lines of text with a drawing intermixed
− local drawing_width = 50
− App.screen.init{width=Editor_state.left+drawing_width, height=80}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc', -- height 15
− '```lines', '```', -- height 25
− 'def', -- height 15
− 'ghi'} -- height 15
− Text.redraw_all(Editor_state)
− check_eq(Editor_state.lines[2].mode, 'drawing', 'baseline/lines')
− Editor_state.cursor1 = {line=1, pos=1}
− Editor_state.screen_top1 = {line=1, pos=1}
− local drawing_height = Drawing_padding_height + drawing_width/2 -- default
− -- initially the screen displays the first line and the drawing
− -- 15px margin + 15px line1 + 10px margin + 25px drawing + 10px margin = 75px < screen height 80px
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc', 'baseline/screen:1')
− -- after pagedown the screen draws the drawing up top
− -- 15px margin + 10px margin + 25px drawing + 10px margin + 15px line3 = 75px < screen height 80px
− edit.run_after_keychord(Editor_state, 'pagedown', 'pagedown')
− check_eq(Editor_state.screen_top1.line, 2, 'screen_top')
− check_eq(Editor_state.cursor1.line, 3, 'cursor')
− y = Editor_state.top + drawing_height
− App.screen.check(y, 'def', 'screen:1')
− end
−
− function test_pagedown_can_start_from_middle_of_long_wrapping_line()
− -- draw a few lines starting from a very long wrapping line
− App.screen.init{width=Editor_state.left+30, height=60}
− Editor_state = edit.initialize_test_state()
− Editor_state.lines = load_array{'abc def ghi jkl mno pqr stu vwx yza bcd efg hij', 'XYZ'}
− Text.redraw_all(Editor_state)
− Editor_state.cursor1 = {line=1, pos=2}
− Editor_state.screen_top1 = {line=1, pos=1}
− edit.draw(Editor_state)
− local y = Editor_state.top
− App.screen.check(y, 'abc ', 'baseline/screen:1')
− y = y + Editor_state.line_height
− App.screen.check(y, 'def g', 'baseline/screen:2')
− y = y + Editor_state.line_height