CE4LZV4TNXJT54CVGM3QANCBP42TMLMZWF2DBSMUYKAHILXIZEMQC
66X36NZNEHWWURKSZ6G3XSC4CKQ7NTR4HYGDJGLHAUELMUAQC34AC
QXYAFIY3DXIQVCWUW7O5PPJPTQ3UXH43EQYWGXJ7SAYN36PYJ2ZQC
GSWYPSYZIA3JIUZJUWV3G2J7U2CIJVSXXRC26VH4QBQJRAHAJDPAC
R5QXEHUIZLELJGGCZAE7ATNS3CLRJ7JFRENMGH4XXH24C5WABZDQC
VHQCNMARPMNBSIUFLJG7HVK4QGDNPCGNVFLHS3I4IGNVSV5MRLYQC
6LJZN727CRPYR34LV75CQF55YZI3E7MGESYZSFSYAE73SNEZE3FAC
OTIBCAUJ3KDQJLVDN3A536DLZGNRYMGJLORZVR3WLCGXGO6UGO6AC
AJB4LFRBMIRBEDWJ3OW7GQIMD2BZBVQ62GH4TE2FISWZKSAHRF4QC
RF5ALVNYB2FMU7LRRD5LMQC7P6OO4BX3NXIGWNZTQ2CD62RBRRFAC
BJ5X5O4ACBBJ56LRBBSTCW6IBQP4HAEOOOPNH3SKTA4F66YTOIDAC
GHZMRR333P3FZ5C3BQZQSNW3ZW6JOK5BABZ2FKDI5374FOE6WVDQC
XF2BJIPT6CC46V6YAN2RHMOAPNMVCFWOCRQGKLKPJOS3YB42FZXAC
function test_resize_window()
io.write('\ntest_resize_window')
Filename = 'foo'
App.screen.init{width=Margin_left+300, height=300}
check_eq(App.screen.width, Margin_left+300, 'F - test_resize_window/baseline/width')
check_eq(App.screen.height, 300, 'F - test_resize_window/baseline/height')
App.resize(200, 400)
check_eq(App.screen.width, 200, 'F - test_resize_window/width')
check_eq(App.screen.height, 400, 'F - test_resize_window/height')
-- TODO: how to make assertions about when App.update got past the early exit?
end
function test_adjust_line_width()
io.write('\ntest_adjust_line_width')
Filename = 'foo'
App.screen.init{width=Margin_left+300, height=300}
Line_width = 256
App.draw() -- initialize button
App.run_after_mouse_press(Margin_left+256, Margin_top-3, 1)
App.mouse_move(Margin_left+200, 37)
-- no change for some time
App.wait_fake_time(0.01)
App.update(0)
check_eq(Line_width, 256, 'F - test_adjust_line_width/early')
-- after 0.1s the change takes
App.wait_fake_time(0.1)
App.update(0)
check_eq(Line_width, 200, 'F - test_adjust_line_width')
end
### Todo list
* resize:
* Create a file containing a long line of characters without spaces. Try
resizing the window vertically and horizontally, as far as possible.
* line-width button
* Create a file containing a single line with a reasonable number of
characters. Move the cursor towards the end of the line. Click on
line-width icon in the top margin, slide it left and right. Watch the line
of characters wrap and unwrap in response. Text should not be selected.