]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d310238) | patch
Prefer following, not previous, item in selection manager after deletion (#12871)
authorJuergen Spitzmueller <spitz@lyx.org>
Mon, 18 Sep 2023 08:02:34 +0000 (10:02 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Mon, 18 Sep 2023 08:02:34 +0000 (10:02 +0200)
commitb13685d9bb3ce6db8f285f1c92abbe6b8bf90d2c
treea70518cabd95d65a2f44dc3aaa6a3cf10ca6f347tree | snapshot
parentd3102380bcd163ab19c9b1e14d82af0eaaf246efcommit | diff
Prefer following, not previous, item in selection manager after deletion (#12871)
src/frontends/qt/GuiSelectionManager.cpp diff | blob | history
Repository for new features