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_wm_set_size_hint .. line_height & scale .. 36 .. 2 .. base_height .. 43 .. height_inc .. 18
  menubar_height .. 50 .. toolbar_height .. 0
xg_frame_resized .. old .. 1296 .. req .. 1346 .. con/text .. 1296 .. 1296
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 .. 22
  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 .. 1584 .. 1584
adjust_frame_size .. old pixels/lines .. 1296 .. 36 .. new pixels/lines .. 1584 .. 35
x_new_font .. line_height .. 37 .. lines .. 35 .. new_text_height .. 1295
xg_wm_set_size_hint .. line_height & scale .. 37 .. 2 .. base_height .. 84 .. height_inc .. 18
  menubar_height .. 50 .. toolbar_height .. 82
xg_frame_set_char_size .. old .. 1584 .. arg .. 1295 .. new .. -1
  outer .. 713 .. gheight .. 858
xg_frame_resized .. old .. 1584 .. req .. -1 .. con/text .. 1260 .. 1260
adjust_frame_size .. old pixels/lines .. 1584 .. 35 .. new pixels/lines .. 1260 .. 34
x_new_font .. line_height .. 37 .. lines .. 34 .. new_text_height .. 1258
xg_frame_set_char_size .. old .. 1260 .. arg .. 1258 .. new .. -1
  outer .. 695 .. gheight .. 696
xg_frame_resized .. old .. 1260 .. req .. -1 .. con/text .. 1224 .. 1224
adjust_frame_size .. old pixels/lines .. 1260 .. 34 .. new pixels/lines .. 1224 .. 33
x_new_font .. line_height .. 37 .. lines .. 33 .. new_text_height .. 1221
xg_frame_set_char_size .. old .. 1224 .. arg .. 1221 .. new .. -1
  outer .. 676 .. gheight .. 678
xg_frame_resized .. old .. 1224 .. req .. -1 .. con/text .. 1188 .. 1188
adjust_frame_size .. old pixels/lines .. 1224 .. 33 .. new pixels/lines .. 1188 .. 32
x_new_font .. line_height .. 37 .. lines .. 32 .. new_text_height .. 1184
xg_frame_set_char_size .. old .. 1188 .. arg .. 1184 .. new .. -1
  outer .. 658 .. gheight .. 660
xg_frame_resized .. old .. 1188 .. req .. -1 .. con/text .. 1152 .. 1152
adjust_frame_size .. old pixels/lines .. 1188 .. 32 .. new pixels/lines .. 1152 .. 31
x_new_font .. line_height .. 37 .. lines .. 31 .. new_text_height .. 1147
xg_frame_set_char_size .. old .. 1152 .. arg .. 1147 .. new .. -1
  outer .. 639 .. gheight .. 642
xg_frame_resized .. old .. 1152 .. req .. -1 .. con/text .. 1116 .. 1116
adjust_frame_size .. old pixels/lines .. 1152 .. 31 .. new pixels/lines .. 1116 .. 30