diff man/ediff.texi @ 59084:6a0b8f23858b

* gtkutil.c (update_frame_tool_bar): Make the value of tool-bar-button-margin control margins of images in tool bar.
author Jan Djärv <jan.h.d@swipnet.se>
date Sat, 25 Dec 2004 20:46:26 +0000
parents b1ae5333057a
children 905bf9de87af 59dcbfe97385
line wrap: on
line diff