feedc0de/qt-creator
1
0
Fork 0
forked from qt-creator/qt-creator
Code Pull Requests Activity

Editor: do not set the viewport margins if they have not changed

Browse Source 
Change-Id: I01adabc52e47e8a47aff0f5dc2b580066e51307c
Reviewed-by: <github-actions-qt-creator@cristianadam.eu>
Reviewed-by: Christian Stenger <christian.stenger@qt.io>
This commit is contained in:
David Schulz
2023-06-12 10:23:42 +02:00
parent a6f2ee5b8c
commit 37433c1897
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/plugins/texteditor/texteditor.cpp
View File

@@ -5168,10 +5168,13 @@ void TextEditorWidgetPrivate::slotUpdateExtraAreaWidth(std::optional<int> width)
{ {
if (!width.has_value()) if (!width.has_value())
width = q->extraAreaWidth(); width = q->extraAreaWidth();
QMargins margins;
if (q->isLeftToRight()) if (q->isLeftToRight())
q->setViewportMargins(*width, 0, 0, 0); margins = QMargins(*width, 0, 0, 0);
else else
q->setViewportMargins(0, 0, *width, 0); margins = QMargins(0, 0, *width, 0);
if (margins != q->viewportMargins())
q->setViewportMargins(margins);
} }
struct Internal::ExtraAreaPaintEventData struct Internal::ExtraAreaPaintEventData