Am Donnerstag, dem 25.07.2024 um 11:30 +0200 schrieb Jean-Marc
Lasgouttes:
> Did I already say today that I hate updateMacros and have no idea of
> what it does ?
Just wanted to mention that this seems to cure it:
diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 59733d852e..a13c8e5f9f 100644
--- a/src/Buffer.cpp
+++ b/src/Buffer.cpp
@@ -3922,7 +3922,7 @@ void Buffer::updateMacros() const
return;
// early exit if the buffer has not changed since last time
- if (d->update_macros_id_ == d->id_)
+ if (d->gui_ && d->update_macros_id_ == d->id_)
return;
d->update_macros_id_ = d->id_;
and this early exiting is only needed in GUI mode, right?
--
Jürgen
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
