]> git.lyx.org Git - features.git/commit
projects / features.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1443b1d) | patch
Hint at (new) filter function in tooltip.
authorJuergen Spitzmueller <spitz@lyx.org>
Thu, 23 Apr 2020 12:24:32 +0000 (14:24 +0200)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 13:48:57 +0000 (15:48 +0200)
commita4789f718ff7f1d15bb4b2012b74c9cd594d6aed
tree71d1bbf39c590b4a703dfc83a218a145f45d15catree | snapshot
parent1443b1d75440f52ef9423aef940bf264926b187acommit | diff
Hint at (new) filter function in tooltip.
src/frontends/qt/ui/FontUi.ui diff | blob | history
Repository for new features