BFD:BFD[
4.2] → [
5.1125:1163]
BFD:BFD[
4.2] → [
5.1125:1163]
BFD:BFD[
5.1163] → [
5.7:7]
B:BD[
5.466] → [
3.320:590]
B:BD[
5.309] → [
3.229:319]
B:BD[
6.84592] → [
3.153:228]
∅:D[
3.152] → [
6.84560:84592]
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_right-Margin_left, 'F - test_resize_window/drawing_width')
-- TODO: how to make assertions about when App.update got past the early exit?
end
check_eq(Editor_state.left, Margin_left, 'F - test_resize_window/baseline/left_margin')
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')
check_eq(App.screen.width, 300, 'F - test_resize_window/baseline/width')
check_eq(App.screen.height, 300, 'F - test_resize_window/baseline/height')
App.screen.init{width=300, height=300}
Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width) -- zero right margin
Editor_state.filename = 'foo'