adjust_frame_size .. old pixels/lines .. 25 .. 25 .. new pixels/lines .. 25 .. 24
adjust_frame_size .. old pixels/lines .. 25 .. 25 .. new pixels/lines .. 900 .. 25
adjust_frame_size .. old pixels/lines .. 900 .. 25 .. new pixels/lines .. 1296 .. 36
xg_frame_set_char_size .. old .. 1296 .. arg .. 1296 .. new .. 1296
  outer .. 698 .. gheight .. 200
xg_frame_set_char_size .. old .. 1296 .. arg .. 1296 .. new .. 1296
  outer .. 673 .. gheight .. 200
xg_frame_resized .. old .. 1296 .. req .. 1296 .. con/text .. 1346 .. 1346
xg_frame_resized .. old .. 1296 .. req .. 1346 .. con/text .. 1296 .. 1296
xg_wm_set_size_hint .. line_height & scale .. 36 .. 2 .. base_height .. 43 .. height_inc .. 18
  menubar_height .. 50 .. toolbar_height .. 0
xg_wm_set_size_hint .. line_height & scale .. 36 .. 2 .. base_height .. 84 .. height_inc .. 18
  menubar_height .. 50 .. toolbar_height .. 82
xg_frame_set_char_size .. old .. 1296 .. arg .. 1296 .. new .. -1
  outer .. 714 .. gheight .. 673
x_new_font .. line_height .. 45 .. lines .. 36 .. new_text_height .. 1620
xg_wm_set_size_hint .. line_height & scale .. 45 .. 2 .. base_height .. 88 .. height_inc .. 0
  menubar_height .. 50 .. toolbar_height .. 82
xg_frame_set_char_size .. old .. 1296 .. arg .. 1620 .. new .. -1
  outer .. 876 .. gheight .. 714
xg_frame_resized .. old .. 1296 .. req .. -1 .. con/text .. 1620 .. 1620
adjust_frame_size .. old pixels/lines .. 1296 .. 36 .. new pixels/lines .. 1620 .. 36
x_new_font .. line_height .. 37 .. lines .. 36 .. new_text_height .. 1332
xg_wm_set_size_hint .. line_height & scale .. 37 .. 2 .. base_height .. 84 .. height_inc .. 0
  menubar_height .. 50 .. toolbar_height .. 82
xg_frame_set_char_size .. old .. 1620 .. arg .. 1332 .. new .. -1
  outer .. 732 .. gheight .. 876
xg_frame_resized .. old .. 1620 .. req .. -1 .. con/text .. 1332 .. 1332
adjust_frame_size .. old pixels/lines .. 1620 .. 36 .. new pixels/lines .. 1332 .. 36
x_new_font .. line_height .. 37 .. lines .. 36 .. new_text_height .. 1332
x_new_font .. line_height .. 37 .. lines .. 36 .. new_text_height .. 1332
x_new_font .. line_height .. 37 .. lines .. 36 .. new_text_height .. 1332
x_new_font .. line_height .. 37 .. lines .. 36 .. new_text_height .. 1332