- Anonymous
| Author | Committer | Branch | Timestamp | Parent |
|---|---|---|---|---|
| wmayer | wmayer | master | 2019-12-19 22:17:46 | master 99e5bede |
| Changeset | Gui: allow to set font family and size and syntax highlighting | |||
| mod - src/App/TextDocument.cpp | Diff File | |||
| mod - src/App/TextDocument.h | Diff File | |||
| mod - src/Gui/TextDocumentEditorView.cpp | Diff File | |||
| mod - src/Gui/TextDocumentEditorView.h | Diff File | |||
| mod - src/Gui/ViewProviderTextDocument.cpp | Diff File | |||
| mod - src/Gui/ViewProviderTextDocument.h | Diff File | |||