O que o plugin Gedit chamado “Dashboard” faz e / ou fornece?

2

O que o plug-in "Painel" faz? Sua descrição diz "Um painel para novas guias", mas não consigo ver o que mudou depois de ativá-lo ou o que ele me permite fazer de forma diferente. Eu não vejo nada como um "painel" em qualquer lugar.

    
por user29020 18.12.2014 / 21:36

1 resposta

3

O plug-in do Gedit Dashboard usa o Zeitgeist para exibir itens recentes ou mais usados nas novas guias do Gedit. Você pode pesquisar os itens mais recentes e mais usados e, além disso, o plug-in gera pré-visualizações que "tentam ir diretamente para algum código ou texto do seu trabalho".

Fonte: link

Aqui estão algumas capturas de tela:

Isso é o que é suposto fazer, MAS não funciona (testado no Ubuntu 14.04).
Como resultado, um bug foi reportado no Launchpad .

    
por Parto 28.12.2014 / 09:53