texmacs-users - Re: Header visualisation new bug?

Subject: mailing-list for TeXmacs Users

List archive

Re: Header visualisation new bug?

From: address@hidden
To: address@hidden
Subject: Re: Header visualisation new bug?
Date: Thu, 10 Apr 2003 12:54:22 +0200

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

-- DDAA

Re: Why Russian?, (continued)
- Re: Why Russian?, Luca, 01/01/2070
  - Re: Why Russian?, Joris van der Hoeven, 04/03/2003
    - Re: Why Russian?, Martin Costabel, 04/03/2003
      - Re: Why Russian?, Jan Peters, 04/03/2003
      - Re: Why Russian?, Jan Peters, 04/04/2003
        
        Re: Why Russian?, Martin Costabel, 04/04/2003
        
        BNF Grammar of TeXmacs, Nicolas Ratier, 04/04/2003
        
        Re: Why Russian?, Jan Peters, 04/05/2003
      - Header visualisation new bug?, Luca, 04/10/2003
        
        Re: Header visualisation new bug?, Joris van der Hoeven, 04/10/2003
        
        Re: Header visualisation new bug?, david, 04/10/2003
        
        Re: Header visualisation new bug?, Martin Costabel, 04/10/2003

List archive

Re: Header visualisation new bug?