Searched refs:DEFAULT_TOOL_BAR_IMAGE_HEIGHT (Results 1 – 8 of 8) sorted by relevance
3318 #define DEFAULT_TOOL_BAR_IMAGE_HEIGHT 24 macro
5655 = DEFAULT_TOOL_BAR_IMAGE_HEIGHT + 2 * margin + 2 * relief; in gui_figure_window_size()
3312 (DEFAULT_TOOL_BAR_IMAGE_HEIGHT): New defines.
1449 DEFAULT_TOOL_BAR_IMAGE_HEIGHT. Don't set
3303 #define DEFAULT_TOOL_BAR_IMAGE_HEIGHT 24 macro
5533 = DEFAULT_TOOL_BAR_IMAGE_HEIGHT + 2 * margin + 2 * relief; in gui_figure_window_size()