OW7VXIIXNYQGUJRXXDAS447WZA6QWLN4BV3FV5PLTRQLDAF3VPJQC
IH4JCDILOCAGP6DS6XT2SASC7B55CLWSCE57JJYTGGE52DKZ7QFAC
WUJMPZPGPNVLBHEBVYTLSYWFOPEYVQJOPK45RFD576HTLG3NFCTAC
ORRSP7FVCHI2TF5GXBRGQYYJAA3JFYXZBM3T663BKSBV22FCZVCAC
J3ER7DFO2TXYUMJAXZUFEHQNLFDNIXSYDTE7HEFGQ2RYB3A6RFPAC
CE4LZV4TNXJT54CVGM3QANCBP42TMLMZWF2DBSMUYKAHILXIZEMQC
LF7BWEG4DKQI7NMXMZC4LC2BE5PB42HK5PD6OYBNIDMAZBJASOKQC
2WGHUWE6DWRNUD7AJNLGT4I6PZ2EIVDQCZ7V7V7WSYPBRPYUUDUQC
BPWFKBXTKIRBJFWVZIUVCHGJTLBCR6EIMEHM3D3KOF5IULXCR5RQC
USHY2DCFJCYQ2ZKI2LHGAKME3ZU4OE7MUMNRKE7G3EPMHRSQ2E6AC
YT5P6TO64XSMCZGTT4SVNFOWUN5ECNXTWCMFXN3YCDZUNH4H3IFAC
KKMFQDR43ZWVCDRHQLWWX3FCWCFA3ZSXYOBRJNPHUQZR2XPKWULAC
3QNOKBFMKBGXBVJIRHR2444JRRMBTABHE4674NR3DT67RRM2X6GAC
--? check_eq(App.screen.width, 300, 'F - test_resize_window/baseline/width')
--? check_eq(App.screen.height, 300, 'F - test_resize_window/baseline/height')
--? check_eq(Editor_state.left, Test_margin_left, 'F - test_resize_window/baseline/left_margin')
--? check_eq(Editor_state.right, 300 - Test_margin_right, 'F - test_resize_window/baseline/left_margin')
--? check_eq(App.screen.width, 300, 'baseline/width')
--? check_eq(App.screen.height, 300, 'baseline/height')
--? check_eq(Editor_state.left, Test_margin_left, 'baseline/left_margin')
--? check_eq(Editor_state.right, 300 - Test_margin_right, 'baseline/left_margin')
--? check_eq(App.screen.width, 200, 'F - test_resize_window/width')
--? check_eq(App.screen.height, 400, 'F - test_resize_window/height')
--? check_eq(Editor_state.left, Margin_left, 'F - test_resize_window/left_margin')
--? check_eq(Editor_state.right, 200-Margin_right, 'F - test_resize_window/right_margin')
--? check_eq(Editor_state.width, 200-Margin_left-Margin_right, 'F - test_resize_window/drawing_width')
--? check_eq(App.screen.width, 200, 'width')
--? check_eq(App.screen.height, 400, 'height')
--? check_eq(Editor_state.left, Margin_left, 'left_margin')
--? check_eq(Editor_state.right, 200-Margin_right, 'right_margin')
--? check_eq(Editor_state.width, 200-Margin_left-Margin_right, 'drawing_width')
check_eq(App.screen.width, 300, 'baseline/width')
check_eq(App.screen.height, 300, 'baseline/height')
check_eq(Editor_state.left, Test_margin_left, 'baseline/left_margin')
check_eq(Editor_state.right, 300 - Test_margin_right, 'baseline/left_margin')
check_eq(App.screen.width, 200, 'width')
check_eq(App.screen.height, 400, 'height')
check_eq(Editor_state.left, Margin_left, 'left_margin')
check_eq(Editor_state.right, 200-Margin_right, 'right_margin')
check_eq(Editor_state.width, 200-Margin_left-Margin_right, 'drawing_width')
check_eq(#Editor_state.lines, 3, '#lines')
check_eq(Editor_state.lines[1].data, 'abc', 'lines:1')
check_eq(Editor_state.lines[2].data, 'def', 'lines:2')
check_eq(Editor_state.lines[3].data, 'ghi', 'lines:3')
check_eq(App.filesystem['foo'], 'abc\ndef\n', 'check')