Searched refs:old_toolbar_height (Results 1 – 1 of 1) sorted by relevance
125 int old_toolbar_height; in ex_menu() local298 old_toolbar_height = gui.toolbar_height; in ex_menu()425 || gui.toolbar_height != old_toolbar_height in ex_menu()