]> git.lyx.org Git - features.git/commit
Improve tooltip.
authorPavel Sanda <sanda@lyx.org>
Thu, 9 Mar 2023 09:23:46 +0000 (10:23 +0100)
committerPavel Sanda <sanda@lyx.org>
Thu, 9 Mar 2023 09:23:46 +0000 (10:23 +0100)
commit4cccec60cafe9353b7e9b51c59410f6c17476171
tree91dafd8cd389a7fd31c1324824b231749c389918
parentbf4ba774c655c106c585c320d177aa3f75eca035
Improve tooltip.
src/frontends/qt/ui/NumberingUi.ui