diff options
| author | David Schulz <david.schulz@qt.io> | 2022-08-04 08:42:48 +0200 |
|---|---|---|
| committer | David Schulz <david.schulz@qt.io> | 2022-08-04 09:09:58 +0000 |
| commit | 674efc0f95dc86a174920914543b857cef667535 (patch) | |
| tree | f74f86a82b8d5b66be45ef5076ca0b9cb023b879 /src/plugins/texteditor/textdocumentlayout.h | |
| parent | 67903cec2f0d602fc6f39b9dce33a0d5f96c8beb (diff) | |
TextEditor: schedule update document layout
When generating a lot of text marks we do not need to update the
document for every mark and every property that changes.
Change-Id: Ibba80138f6ebcbbe30a4f741979df69ad62608c1
Reviewed-by: hjk <hjk@qt.io>
Diffstat (limited to 'src/plugins/texteditor/textdocumentlayout.h')
| -rw-r--r-- | src/plugins/texteditor/textdocumentlayout.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/plugins/texteditor/textdocumentlayout.h b/src/plugins/texteditor/textdocumentlayout.h index 3bed9f7bc5..1b0bb8b5e1 100644 --- a/src/plugins/texteditor/textdocumentlayout.h +++ b/src/plugins/texteditor/textdocumentlayout.h @@ -237,6 +237,11 @@ public: void documentReloaded(TextMarks marks, TextDocument *baseextDocument); void updateMarksLineNumber(); void updateMarksBlock(const QTextBlock &block); + void scheduleUpdate(); + void requestUpdateNow(); + +private: + bool m_updateScheduled = false; signals: void updateExtraArea(); |