texmacs-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Texmacs-dev] Re: Generating fonts


From: Joris van der Hoeven
Subject: [Texmacs-dev] Re: Generating fonts
Date: Wed, 24 Jul 2002 19:15:25 +0200 (MET DST)

On Wed, 24 Jul 2002, David Allouche wrote:

> On Wed, Jul 24, 2002 at 02:32:07PM +0000, Juan Pablo Romero wrote:
> > 
> > There exists some way to deactivate the yellow window that texmacs shows 
> > when generating some font, or at least force the window to remain in its 
> > own workspace?
> 
> Not currently, I will try to make a patch to create a new setting to
> disable that pesky window.

OK, but the message should be displayed in the status bar in that case,
because it should be displayed somewhere...




reply via email to

[Prev in Thread] Current Thread [Next in Thread]