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á lugar para adicionar um marcador. Quando clico em Arquivos Favoritos, tenho apenas a opção de editar favoritos existentes, e não adicionar um novo. Estou usando o Ubuntu 13.10. Se alguém tiver uma solução para o Ubuntu 13.10 ficaria muito grato.
EDIT: Encontrei uma resposta aqui: BookMark13.10 . O que é um pouco confuso é que o Marcador não aparece em "Lugares", mas mais abaixo no painel esquerdo em Marcadores. No começo eu não vi isso!
Espero que isso seja útil para alguém.
Felicidades
Adrian