Searched refs:puller_width (Results 1 – 1 of 1) sorted by relevance
79 static int puller_width = 0; variable392 puller_width = width + 4; in gui_athena_create_pullright_pixmap()840 XtNrightMargin, puller_width, in gui_mch_add_menu()1236 puller_width : in gui_mch_add_menu_item()1478 right_margin = puller_width; in gui_mch_destroy_menu()