Hi Max,
it seems that the exec_delayed implementation in Qt/TeXmacs is seriously
broken. The old version mixed up the order, and the latest patch that
tries to correct this somehow does not work either. Actually, I don't
even understand how the latest version is supposed to work.
A quick-and-dirty workaround is to comment out exec_delayed&Co in
qt_gui.cpp, reactivate it in Guile/Scheme/object.cpp and reintroduce the
call to exec_pending_commands in tm_server.cpp. This seems to solve all
my problems at once...
Greetings,
Norbert
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
