]>
author | Juergen Spitzmueller <spitz@lyx.org> | |
Tue, 18 Jul 2023 13:12:54 +0000 (15:12 +0200) | ||
committer | Juergen Spitzmueller <spitz@lyx.org> | |
Tue, 18 Jul 2023 13:13:48 +0000 (15:13 +0200) | ||
commit | 6603ae22421479618cf0f752bf05a0795d9f7b3d | |
tree | 410be82674587a45cbfd5d998aa862d1ccf51fb4 | tree | snapshot |
parent | 8eda9e25e00effe8eec6adef8244fc81b888c78f | commit | diff |
src/frontends/qt/GuiDocument.cpp | diff | blob | history | |
src/frontends/qt/LaTeXHighlighter.cpp | diff | blob | history | |
src/frontends/qt/LaTeXHighlighter.h | diff | blob | history |