diff etc/TUTORIAL.de @ 33747:e0e2461a24fe

(x_set_tool_bar_lines): Clear internal border when tool bar gets smaller.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 22 Nov 2000 14:27:38 +0000
parents e96ffe544684
children c85b8316bcae
line wrap: on
line diff