Issues with setting/unsetting scripts -- issue with the gui?

#1

Dear all,

I run TeXmacs 2.1.1 on OS X 13.6/15.7.

I noticed that selecting a scripting language does not set a tick mark in the menu even though the language is selected and scripting, let’s say with maxima, is possible. Is this a feature in the gui?

I also noticed that not setting scripts back to none before saving the tm-file repeatedly lead to TeXmacs crashes when restarting TeXmacs by re-opening that file.

I wonder if other users experienced the same issue(s).

Cheers
Tilda

#2

Thanks for reporting this. I can’t reproduce it on Linux. Perhaps it’s specific to Mac.