Searched refs:pg_margin_top (Results 1 – 1 of 1) sorted by relevance
52 static short pg_margin_left, pg_margin_right, pg_margin_top, pg_margin_bottom; variable317 &pg_margin_top, &pg_margin_bottom, in gui_ph_handle_menu_resize()390 height -= (pg_margin_top + pg_margin_bottom); in gui_ph_handle_window_cb()1678 window_size.h += pg_margin_top + pg_margin_bottom; in gui_mch_set_shellsize()