Scintilla / Bugs / #1617 unable to clear bookmark

#1617 unable to clear bookmark

Milestone: Bug

Status: closed-fixed

Owner: Neil Hodgson

Labels: bookmark (1) scintilla (590)

Priority: 5

Updated: 2014-08-14

Created: 2014-06-29

Creator: sf-man

Private: No

Bookmark 2 sequential lines (line 1 and line 2) (Ctrl+F2)
Delete the first line - there will be 1 bookmark remaining
Press Ctrl+F2 to remove the remaining bookmark - you have to press it twice

It's as though the 2 bookmarks are being merged into one, so you have to Ctrl+F2 twice to remove it

Discussion

Neil Hodgson - 2014-06-29

labels: bookmark --> bookmark, scintilla

status: open --> open-accepted

assigned_to: Neil Hodgson

Priority: 7 --> 5
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Neil Hodgson - 2014-06-29

That is precisely what is happening - there are two bookmarks on the line now.

This is a bug.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Neil Hodgson - 2014-07-08

Fix committed as [c215c2].

Related

Commit: [c215c2]

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Neil Hodgson - 2014-07-08

status: open-accepted --> open-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Neil Hodgson - 2014-08-14

status: open-fixed --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

unable to clear bookmark

Group

Searches

Help

#1617 unable to clear bookmark

Discussion

Related