Esto no parece funcionar para mí. Cuando presiono Ctrl + D, se abre la función de búsqueda. Hasta donde puedo ver, no hay ningún lugar para agregar un marcador. Cuando hago clic en Archivos Marcadores, solo tengo la opción de editar marcadores existentes, no agregar uno nuevo. Estoy usando Ubuntu 13.10. Si alguien tiene una solución para Ubuntu 13.10, estaría agradecido.
EDITAR: encontré una respuesta aquí: BookMark13.10 . Lo que es un poco confuso es que el marcador no aparece en "Lugares", sino en el panel izquierdo debajo de Marcadores. Al principio no lo vi!
Espero que esto sea de alguna utilidad para alguien.
Aclamaciones
Adrian