mailing-list for TeXmacs Users

[Martin Costabel <address@hidden>]

On jeudi, avr 10, 2003, at 12:54 Europe/Paris, address@hidden wrote:

> On Thu, Apr 10, 2003 at 12:41:38PM +0200, Joris van der Hoeven wrote:
> > > Hi I just installed the last version of Texmacs via 
> > > fink....1.0.1.10-1
> > > Now when I go to the menu view->header
> > > or view->main icon bar ...etc
> > > the spots are missing and I cannot switch between different view
> > > options....
> > > This is the log file produced via texmacs -d >&
> >
> > Thanks for notifying this bug; it has been corrected for the next 
> > version.
>
> I have independently fixed it here.
>
> For those interested, the patch can be downloaded on Savannah:
>
> http://savannah.gnu.org/patch/download.php?id=1376

David's patch is now incorporated in the fink texmacs-1.0.1.10-2 
package. Seems to work.

--
Martin