Searched refs:get_left_margin (Results 1 – 1 of 1) sorted by relevance
1472 Boolean get_left_margin = False; in gui_mch_destroy_menu() local1480 get_left_margin = True; in gui_mch_destroy_menu()1486 if (get_left_margin == True) in gui_mch_destroy_menu()