bug#19480: (no subject)

[Eli Zaretskii]

> From: Michael Heerdegen <michael_heerdegen@web.de>
> Cc: bjvilfan@gmail.com,  19480@debbugs.gnu.org
> Date: Thu, 01 Jan 2015 21:37:52 +0100
> 
> Hi Eli,
> 
> > This should fix the problem:
> >
> >   (progn
> >     (define-key global-map [tool-bar bvdotex] 'tex-file)
> >     (tool-bar-local-item  "save" 'tex-file 'bvdotex tool-bar-map
> >                       :help "Process file with default tex command")
> >     (force-mode-line-update)
> >     (garbage-collect))
> 
> I can confirm that this avoids the problem under Debian Gnu/Linux using
> the GTK+ toolkit.

Thanks for checking.