]> git.lyx.org Git - features.git/commit
Take care of spaces tracked as inserted in depm
authorJean-Marc Lasgouttes <lasgouttes@lyx.org>
Mon, 28 Jan 2019 09:21:26 +0000 (10:21 +0100)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 12:39:57 +0000 (14:39 +0200)
commit9eea05b79f0495700ea6e6603b62c25481e57832
tree608a372b7c483e733d71bb0a1c2288133aedd045
parent456226b41e0fceeb596891ab292ef0334bf17b1b
Take care of spaces tracked as inserted in depm

When there are Change::INSERTED spaces in the range of consecutive
spaces to delete, it is better to remove them first.

Part of bug #11412.
src/Text2.cpp