-
Germán Poo-Caamaño authored
We already have a shortcut to add bookmarks, it makes sense to provide one to delete them without depending on the UI. Fixes #478
9c46a677
We already have a shortcut to add bookmarks, it makes sense to provide one to delete them without depending on the UI. Fixes #478