From 1ce044ef7a0c69fbd7841dccd6f4bb7802d1dae4 Mon Sep 17 00:00:00 2001 From: David Schulz Date: Tue, 24 May 2022 18:46:44 +0200 Subject: [PATCH] Editor: Update document layout only if the mark color changes Change-Id: Ic0408e87422edcf880381a20d685b24c785919c3 Reviewed-by: Reviewed-by: Christian Stenger --- src/plugins/texteditor/textmark.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/plugins/texteditor/textmark.cpp b/src/plugins/texteditor/textmark.cpp index 386bd72ef27..02ad18e8c2e 100644 --- a/src/plugins/texteditor/textmark.cpp +++ b/src/plugins/texteditor/textmark.cpp @@ -387,6 +387,8 @@ Utils::optional TextMark::color() const void TextMark::setColor(const Theme::Color &color) { + if (m_color.has_value() && *m_color == color) + return; m_color = color; updateMarker(); }