Isso não parece funcionar para mim. Quando pressiono Ctrl + D, a função de pesquisa é aberta. Tanto quanto eu posso ver não há nenhum lugar para adicionar um marcador. Quando clico em Favoritos de arquivos, só tenho a opção de editar marcadores existentes e não adicionar um novo. Eu estou usando o Ubuntu 13.10. Se alguém tiver uma solução para o Ubuntu 13.10 eu ficaria grato.
EDIT: Eu encontrei uma resposta aqui: BookMark13.10 . O que é um pouco confuso é que o Marcador não aparece em "Lugares", mas fica mais abaixo no painel esquerdo, em Favoritos. No começo eu não vi!
Espero que isso seja útil para alguém.
Felicidades
Adrian