GNOME Bugzilla – Bug 621424
No easy way to delete a bookmark
Last modified: 2010-12-17 16:28:58 UTC
There is no easy way to delete a bookmark: 1) ctrl+k only adds bookmark, but not toggle it. 2) The bookmark view always need to select the bookmark first to delete it each time, so deleting a bunch of old bookmark is very time consuming. This results in accumulating a lot of old bookmarks. 3) Another side note: Bookmark created inside a scope is saved a scope name, but if there are multiple bookmarks made within the same scope, they are indistinguishable. I think a supplementary information in the bookmark name would be nice, such as "scope[+lineoffset]
1) Should be easy to fix. So we still have problems when bookmarks move. Have to check. 2) So, would you prefer that the first bookmark is automatically selected? Or the bookmark above or below the last deleted? 3) Sounds ok.
(In reply to comment #1) > 2) So, would you prefer that the first bookmark is automatically selected? Or > the bookmark above or below the last deleted? > I guess whatever gtk_tree_selection_set_mode (GTK_SELECTION_BROWSE) does?
Hi! > 3) Another side note: Bookmark created inside a scope is saved a scope name, > but if there are multiple bookmarks made within the same scope, they are > indistinguishable. I think a supplementary information in the bookmark name > would be nice, such as "scope[+lineoffset] Fixed 3) in master.
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report. http://git.gnome.org/browse/anjuta/commit/?id=0ec0c6d12d646459c4e04c8e92f8ffbb31392194