DEFAULT_TOOL_BAR_BUTTON_RELIEF 3269 src/androidterm.c 		 ? DEFAULT_TOOL_BAR_BUTTON_RELIEF
DEFAULT_TOOL_BAR_BUTTON_RELIEF 5846 src/frame.c    		    ? DEFAULT_TOOL_BAR_BUTTON_RELIEF
DEFAULT_TOOL_BAR_BUTTON_RELIEF 1586 src/haikuterm.c 		 ? DEFAULT_TOOL_BAR_BUTTON_RELIEF
DEFAULT_TOOL_BAR_BUTTON_RELIEF 2115 src/pgtkterm.c 		 ? DEFAULT_TOOL_BAR_BUTTON_RELIEF
DEFAULT_TOOL_BAR_BUTTON_RELIEF 2134 src/w32term.c  		 ? DEFAULT_TOOL_BAR_BUTTON_RELIEF
DEFAULT_TOOL_BAR_BUTTON_RELIEF 15162 src/xdisp.c    		: DEFAULT_TOOL_BAR_BUTTON_RELIEF);
DEFAULT_TOOL_BAR_BUTTON_RELIEF 37323 src/xdisp.c      tool_bar_button_relief = DEFAULT_TOOL_BAR_BUTTON_RELIEF;
DEFAULT_TOOL_BAR_BUTTON_RELIEF 10277 src/xterm.c    		 ? DEFAULT_TOOL_BAR_BUTTON_RELIEF