]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c33950) | patch
Remove a finishUndo() after a recordUndo()
authorScott Kostyshak <skostysh@lyx.org>
Sat, 1 Feb 2020 17:32:30 +0000 (12:32 -0500)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 13:48:51 +0000 (15:48 +0200)
commit886815cd3e0d83219f240e084c42b7d1a3bad0aa
tree9478d968fa7a9cc2866236b159b871631a1e33d7tree | snapshot
parent5c339502be693c5b4fa592dc15489f9d3f0c213dcommit | diff
Remove a finishUndo() after a recordUndo()

finishUndo() is only helpful in the presence of undos of type INSERT
or DELETE.

See the following ML thread for details:

  https://www.mail-archive.com/search?l=mid&q=b721c098-c7ee-d12f-1cdf-067dda9aa5cf%40lyx.org
src/Text3.cpp diff | blob | history
Repository for new features