On Tue, Jul 03, 2007 at 07:21:08PM +0200, Michael Klein wrote: > yes I thougt about real popup widgets to communicate longer error messages > to the user, that are only closed after the user confirms this. I will try > the third option. Can you tell me how much change in the > interface I should expect?
I do not expect many changes in the interface anymore (cannot promise this though). I rather have to make the new GUI system more robust, even prettier and extend the set of preshipped widgets. Best wishes, Joris _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
