forked from qt-creator/qt-creator
Editor: schedule rehighlight after font setting change
That rehighlight vanished in the transition between highlighter -> async highlighterRunner -> highlight in batches Fixes: QTCREATORBUG-32116 Change-Id: I32ac8e3dd29b10399e0c7e5626faef02e037306f Reviewed-by: Christian Stenger <christian.stenger@qt.io>
This commit is contained in:
@@ -466,8 +466,10 @@ void TextDocument::applyFontSettings()
|
|||||||
block = block.next();
|
block = block.next();
|
||||||
}
|
}
|
||||||
updateLayout();
|
updateLayout();
|
||||||
if (d->m_highlighter)
|
if (d->m_highlighter) {
|
||||||
d->m_highlighter->setFontSettings(d->m_fontSettings);
|
d->m_highlighter->setFontSettings(d->m_fontSettings);
|
||||||
|
d->m_highlighter->scheduleRehighlight();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
const FontSettings &TextDocument::fontSettings() const
|
const FontSettings &TextDocument::fontSettings() const
|
||||||
|
Reference in New Issue
Block a user