]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18dd597) | patch
Fix crash in selection manager
authorJuergen Spitzmueller <spitz@lyx.org>
Tue, 19 Nov 2019 12:47:32 +0000 (13:47 +0100)
committerJuergen Spitzmueller <spitz@lyx.org>
Tue, 19 Nov 2019 12:47:32 +0000 (13:47 +0100)
commit5d45c10fc785961d7c5f9e1cc291f14a116b1227
tree1e1af7d74fdeef3a87f145032ded19190d6ebc4etree | snapshot
parent18dd597febca0155fae025cd34a7e3919491ec4acommit | diff
Fix crash in selection manager

Patch by Patrick De Visschere
src/frontends/qt/GuiSelectionManager.cpp diff | blob | history
Repository for new features