Onde estão as preferências do gedit?

33

Isso é incrivelmente estranho. Eu não vejo "preferências" em nenhum dos meus menus de gedit. Estou executando a versão 3.8.3. Tudo o que quero fazer é mostrar números de linha, mas não posso fazer isso sem preferências.

Onde diabos eles estão se escondendo?

nota: eu removi indicator-appmenus porque eu não gosto de ter os menus desconectados da janela.

Atualização de 2015: de alguma forma, isso está sendo sinalizado como um dupe de Ativar números de linha no gedit que é um pouco confuso. A solução é a mesma, mas as questões são diferentes.

    
por Amanda 10.11.2013 / 18:13

7 respostas

22

Não sei como recuperar preferences nos seus menus, mas você pode usar gsettings para exibir números de linha. Digite este comando no terminal:

gsettings set org.gnome.gedit.preferences.editor display-line-numbers true

Caso você precise alterar outras configurações para gedit , você pode usar este comando para encontrar algumas que estão disponíveis: (graças a esta resposta

gsettings list-recursively | grep -i gedit
    
por OSE 11.11.2013 / 00:39
18

Se você estiver usando o GNOME 3, você pode acessar as preferências através do menu superior.

você deve ter "atividades" no canto superior esquerdo da tela. no lado direito das atividades, você terá o gedit. clique nele e você verá as preferências.

    
por Buğra Koç 25.01.2014 / 22:30
11

Para obter a entrada de preferências de volta ao menu de edição, execute o seguinte comando em um terminal:

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

O problema resulta do Gnome3 colocando a entrada do menu de preferências no menu superior.

    
por user5950 07.09.2015 / 18:39
8

Basta digitar Alt + E , e novamente E quando estiver no gedit. Uma nova janela chamada "Preferências do gedit" deve aparecer.

    
por Radu Rădeanu 10.11.2013 / 18:17
1

Você pode precisar usar a ferramenta tweak para desativar temporariamente algumas das extensões comuns que as pessoas normais agora usam para tornar o gnome 3 utilizável em um desktop. Para mim, tive que desativar a barra de tarefas e as extensões do menu de aplicativos. Então pode-se usar o método descrito por Buğra Koç acima.

Isso significa que a fácil ativação e desativação dos números de linha e quebra de linha no gedit desapareceu.

Se você não precisa destacar texto, o Leafpad é um bom substituto para o gedit. Parece o antigo gedit:

sudo apt-get install leafpad
    
por varanasib 09.07.2014 / 14:32
0

As preferências estão sob edição na parte inferior da lista.

Tente recuperar a barra de menu ou, se isso falhar, remova-a completamente e instale uma nova instância do gedit, a minha é 3.10.4, então a sua é um pouco antiga!

    
por Ken Mollerup 18.01.2016 / 12:14
0

Eu sei que este é um tópico antigo, mas acabei encontrando o mesmo problema. No final, descobri que era porque ainda estava logado como superusuário. Depois que eu saí do terminal e reabri o terminal, tudo voltou ao normal.

Pensei em jogar isso lá fora, caso alguém mais tivesse o mesmo problema.

Se você está vendo um # em vez de $ em sua linha de comando, é provável que você não consiga ver seus padrões.

    
por DocGil 03.07.2016 / 01:31

Tags