Subject: Re: bug#19480: (no subject)

From: Michael Heerdegen <[email-masked]>
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.

Michael.