diff options
author | Orgad Shaneh <orgad.shaneh@audiocodes.com> | 2014-07-09 17:18:03 +0300 |
---|---|---|
committer | Orgad Shaneh <orgads@gmail.com> | 2014-07-10 14:41:01 +0200 |
commit | 622c55cbf869431a9eb477ffe30cf4a5774c6d89 (patch) | |
tree | 5ab4663daefff083a4cf514852595da441af0f8a /src/plugins/bookmarks/bookmark.cpp | |
parent | 6956eea8bfbbc62abb22912200b9c731597cd5ea (diff) | |
download | qt-creator-622c55cbf869431a9eb477ffe30cf4a5774c6d89.tar.gz |
Bookmarks: Support manual editing of line number
Task-number: QTCREATORBUG-9721
Change-Id: I914568d58857bf897a3894a1d2a6082126e47b62
Reviewed-by: Daniel Teske <daniel.teske@digia.com>
Diffstat (limited to 'src/plugins/bookmarks/bookmark.cpp')
-rw-r--r-- | src/plugins/bookmarks/bookmark.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/plugins/bookmarks/bookmark.cpp b/src/plugins/bookmarks/bookmark.cpp index 666b146d73..16e6d21780 100644 --- a/src/plugins/bookmarks/bookmark.cpp +++ b/src/plugins/bookmarks/bookmark.cpp @@ -57,6 +57,14 @@ void Bookmark::updateLineNumber(int line) } } +void Bookmark::move(int line) +{ + if (line != lineNumber()) { + BaseTextMark::move(line); + m_manager->updateBookmark(this); + } +} + void Bookmark::updateBlock(const QTextBlock &block) { if (m_lineText != block.text()) { |