I have another one: - Restore the previous state when opening the application: toolbars, window size, position, all preferences (for instance, right now TM seems not to save my preferences as to which toolbars should be displayed). There's infrastructure already in place for this in QT. Should we try to integrate it with the rest?
________________ Miguel de Benito.
_______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
