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

TextEditor: Fix updating TextMark priority

Browse Source 
Change-Id: Ie88b75507faf1f467b4e044f2b06e25aae32bdcf
Reviewed-by: hjk <hjk@qt.io>
Reviewed-by: Christian Stenger <christian.stenger@qt.io>
This commit is contained in:
David Schulz
2017-06-26 14:39:13 +02:00
parent 829bf2b9e6
commit 1d57a7e566
3 changed files with 15 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/plugins/texteditor/textmark.cpp
View File

@@ -131,6 +131,12 @@ void TextMark::updateMarker()
m_baseTextDocument->updateMark(this);
}
void TextMark::setPriority(TextMark::Priority prioriy)
{
m_priority = prioriy;
updateMarker();
}
bool TextMark::isVisible() const
{
return m_visible;
@@ -139,8 +145,7 @@ bool TextMark::isVisible() const
void TextMark::setVisible(bool visible)
{
m_visible = visible;
if (m_baseTextDocument)
m_baseTextDocument->updateMark(this);
updateMarker();
}
double TextMark::widthFactor() const