# HG changeset patch # User Jan Dj¸«£rv # Date 1194347858 0 # Node ID 07b3310d93428a92c590728faf3f5664fa6c4cc5 # Parent 7c710af0ae5e96f176335d05f4b19bfcdb13ff45 *** empty log message *** diff -r 7c710af0ae5e -r 07b3310d9342 src/ChangeLog --- a/src/ChangeLog Tue Nov 06 11:17:22 2007 +0000 +++ b/src/ChangeLog Tue Nov 06 11:17:38 2007 +0000 @@ -1,3 +1,8 @@ +2007-11-06 Jan Dj,Ad(Brv + + * gtkutil.c (xg_tool_bar_menu_proxy): Handle GTK_IMAGE_ICON_NAME and + abort with a message on unhandled store_type values. + 2007-11-03 Richard Stallman * xdisp.c (handle_face_prop): Use face_at_buffer_position_no_overlays