Hi,what I forgot to mention in my first mail is that filenames get messed up as well when loading/saving files.
Cheers, Sebastian _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
