Ativar números de linha no gedit

23

Não consigo encontrar como ativar os números de linha, destaque de linha atual e outras vantagens em 13.10.

    
por wim 23.10.2013 / 03:23

3 respostas

11

Se você removeu indicator-appmenu para remover menus globais, então

  1. Reinstale indicator-appmenu ou

  2. execute este comando (uma linha longa):

    gsettings set org.gnome.settings-daemon.plugins.xsettings overrides '@a{sv} {"Gtk/ShellShowsAppMenu": <int32 0>}'
    

    (Se o acima não copiar como uma única linha, este código caixa aqui irá funcionar).

Se você editou gedit.desktop para adicionar um env para manter menus em sua janela, em seguida, remover o env , normalmente env UBUNTU_MENUPROXY= .

Como um aparte: se alguém queria o menu de aplicativos presentes em um navegador Nautilus raiz, em seguida, remover indicator-appmenu e executar o acima de um prompt de raiz vai atingir esse

.

Exemplo:

sudo -i
gsettings set org.gnome.settings-daemon.plugins.xsettings overrides '@a{sv} {"Gtk/ShellShowsAppMenu": <int32 0>}'
    
por doug 24.10.2013 / 03:00
29

Ele deve estar lá na caixa de diálogo Editar, Preferências!

E esta é a versão 3.8.3 do gedit

Houve um problema semelhante relatado em ubuntuforums.org. O problema aparentemente surgiu quando global menu de Unity foi removido (por sudo apt-get remove indicator-appmenu ). A solução envolve usar dconf editor para restaurar itens de menu ou restaurar o global menu .

    
por user25656 23.10.2013 / 03:59
11

Não tenho certeza se isso é específico para usuários do gnome, mas consegui acessar as preferências clicando no topo, assim:

    
por wim 23.10.2013 / 04:38

Tags