App.screen.init{width=300, height=300}
  Editor_state = edit.initialize_state(Margin_top, Margin_left, App.screen.width)  -- zero right margin

  App.screen.init{width=Editor_state.left+300, height=300}
  check_eq(App.screen.width, Editor_state.left+300, 'F - test_resize_window/baseline/width')

  check_eq(App.screen.width, 300, 'F - test_resize_window/baseline/width')

  check_eq(Editor_state.left, Margin_left, 'F - test_resize_window/baseline/left_margin')

  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')

  Editor_state.right = App.screen.width-Margin_right
  Editor_state.width = Editor_state.right-Editor_state.left