- 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 |