TOOL_BAR_IMAGE_DISABLED_DESELECTED 5966 src/gtkutil.c                         : TOOL_BAR_IMAGE_DISABLED_DESELECTED);
TOOL_BAR_IMAGE_DISABLED_DESELECTED 15143 src/xdisp.c    		   : TOOL_BAR_IMAGE_DISABLED_DESELECTED);