commit 8f8e8ed43ce8eafa325dd98c1572c53aa3702ca3
Author: Jean-Marc Lasgouttes lasgout...@lyx.org
Date: Mon Mar 3 18:24:51 2014 +0100
Fix bug #8998: changed document setting is recoded twice as undo
The general trick to avoid this kind of problems is to use undo groups.
diff --git
commit 8f8e8ed43ce8eafa325dd98c1572c53aa3702ca3
Author: Jean-Marc Lasgouttes
Date: Mon Mar 3 18:24:51 2014 +0100
Fix bug #8998: changed document setting is recoded twice as undo
The general trick to avoid this kind of problems is to use undo groups.
diff --git