mailing-list for TeXmacs Users

Text archives Help


Re: Generating fonts


Chronological Thread 
  • From: David Allouche <address@hidden>
  • To: address@hidden
  • Subject: Re: Generating fonts
  • Date: Wed, 24 Jul 2002 17:22:28 +0200

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.

--

-- David --



  • Generating fonts, Juan Pablo Romero, 07/24/2002
    • Re: Generating fonts, David Allouche, 07/24/2002

Archive powered by MHonArc 2.6.19.

Top of page