Thanks for your ongoing effort and investigation.
I’m interested in trying to apply your patches to the TeXmacs source files on my system yet do not quite know how to proceed. I run TeXmacs 2.1.2 (as of May 5 2022) on OS X 13.7/15.6, and I also have the source files for this build.
-
can these patches be applied to these source files?
-
if so, what would be the most efficient way? Using GNU patch?
-
If I patch the files listed in your patch-file, is it sufficient to put them in a corresponding subdirectory in
.TeXmacs/*/*/
or do the patches require a complete recompilation of TeXmacs?
Cheers
Tilda