GNOME Bugzilla – Bug 719804
bookmarks: Be more specific when deleting ranges
Last modified: 2019-03-23 20:42:08 UTC
Keep one bookmark if the line the range started or ended in has a bookmark, otherwise remove all bookmarks from the range. Previously, deleting a range containing bookmarks always left one bookmark, no matter where in the deleted range the bookmarks had been.
Created attachment 263446 [details] [review] bookmarks: Be more specific when deleting ranges
Created attachment 263451 [details] [review] bookmarks: Be more specific when deleting ranges Keep one bookmark if the line the range started or ended in has a bookmark, otherwise remove all bookmarks from the range. Previously, deleting a range containing bookmarks always left one bookmark, no matter where in the deleted range the bookmarks had been.
Comment on attachment 263451 [details] [review] bookmarks: Be more specific when deleting ranges Attachment 263451 [details] pushed as 3d068cd - bookmarks: Be more specific when deleting ranges