Searched refs:pg_margin_left (Results 1 – 1 of 1) sorted by relevance
52 static short pg_margin_left, pg_margin_right, pg_margin_top, pg_margin_bottom; variable318 &pg_margin_left, &pg_margin_right); in gui_ph_handle_menu_resize()389 width -= (pg_margin_left + pg_margin_right); in gui_ph_handle_window_cb()1677 window_size.w += pg_margin_left + pg_margin_right; in gui_mch_set_shellsize()