[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] User contribution page on Wiki
From: |
Joris van der Hoeven |
Subject: |
Re: [Texmacs-dev] User contribution page on Wiki |
Date: |
Thu, 1 Aug 2002 10:24:55 +0200 (MET DST) |
> > We should start a page on the Wiki with useful user preferences too.
> > I have no idea yet how this menu should be structured in the future.
> > It would be good to have a more complete list of what is needed first.
>
> This menu? Well, the View menu should contain all options related to
> how the document is viewed, document specific or application-wide. So
> "Picture anti-aliasing" fits really well in the View menu.
Yes, but there are many, many other options...