On Tue, Nov 08, 2005 at 10:09:06PM +0100, Henri Lesourd wrote: > > I like how all the settings are displayed on a > >panel at the bottom. > > > This one is missing in TeXmacs, and it will > not be extremely easy to add (need to implement > other widgets :-(... ).
I don't think we really need a new widget for this. Just displaying the most important settings in the status bar would already be interesting enough I guess, for the time being. _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
