diff options
| author | hjk <hjk@qt.io> | 2022-08-05 08:48:22 +0200 |
|---|---|---|
| committer | hjk <hjk@qt.io> | 2022-08-05 08:50:27 +0200 |
| commit | ed8c775defe375bdd1b6f0812352baebf4294001 (patch) | |
| tree | c886e5eec54e1057972eafcf179ee8e1f46ef6df /src/plugins/texteditor/textdocumentlayout.h | |
| parent | 0da5ade118a62b09c6da608e813237c63f0bed19 (diff) | |
| parent | 5d85c4dbdf2e62d5188831c8ef082cf2a009a090 (diff) | |
Merge remote-tracking branch 'origin/8.0'
Change-Id: Icbb87ac8bcee5fb86042d3863a973573510651b4
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 21f8800e39..bcc283ba6a 100644 --- a/src/plugins/texteditor/textdocumentlayout.h +++ b/src/plugins/texteditor/textdocumentlayout.h @@ -236,6 +236,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(); |