Preferências de Plug-ins

Plug-ins adicionam recursos extras ao gedit. Para mais informações sobre plug-ins e como usar os plug-ins embutidos, veja a Seção 10.1 ― Trabalhando com Plug-ins.

9.4.1 Habilitando um Plug-in

Para habilitar um plug-in do gedit, siga os seguintes passos:

  1. Selecione Editar ▸ Preferências.
  2. Selecione a aba Plug-ins.
  3. Selecione a caixa de seleção próxima ao nome do plug-in que você deseja habilitar.
  4. Clique no botão Fechar para fechar a janela de Preferências.

9.4.2 Desativando um Plug-in

Um plug-in permanece habilitado quando você fechar o gedit.

Para desativar um plug-in do gedit, siga os seguintes passos:

  1. Selecione Editar ▸ Preferências.
  2. Selecione a aba Plug-ins.
  3. Selecione a caixa de seleção próxima ao nome do plug-in que você deseja desabilitar.
  4. Clique no botão Fechar para fechar a janela de Preferências.