Gerenciar Extensões

Quando uma extensão é instalada, assim que o Firefox for iniciado, ela aplicará as modificações propostas. Normalmente, as extensões mais simples não terão nenhuma configuração adicional, mas as extensões mais complexas precisarão ou possibilitarão configurações adicionais. A maioria das extensões que permitem alguma configurações e/ou fará uso de algum painel, adicionarão um item com seu nome no menu “Ferramentas”. Os lançadores (itens em menu) eventualmente podem encontrar-se em outros lugares, ou mesmo não haver lançador nenhum. Em todos os casos, o Firefox conta com um centro de controle de extensões, que permite um ótimo gerenciamento delas.

Para acessar o gerenciador de extensões do Firefox acesse o menu “Ferramentas” e clique sobre a opção “Extensões”.

  • Explicando o gerenciador:
index_html_m91f90f8
Figura 7: Gerenciador de extensões.
  1. Extensão ativada: Uma extensão ativada está instalada e em pleno funcionamento. Para ativar uma extensão clique com o botão direito sobre ela e selecione “ativar”. Após instaladas as extensões serão ativadas automaticamente. Sempre que uma extensão for ativada, será necessário reiniciar o Firefox para que ela entre em funcionamento
  2. Extensão desativada: Uma extensão desativada, que será mostrada no menu acinzentada, como que semi-apagada, está devidamente instalada, mas seu funcionamento está suspenso. Suspender o funcionamento de uma extensão é uma opção do usuário, que pode fazê-lo através do menu popup (aberto com o botão direito do mouse, clicado sobre o nome da extensão), na opção “desativar”. Sempre que uma extensão for desinstalada, será necessária a reinicialização do Firefox, afim de que a extensão seja efetivamente suspensa;
  3. Desinstalar extensão: Essa opção irá retirar do Firefox a extensão selecionada. Se retirada, será necessário passar novamente pelo processo de instalação, caso aja vontade de reavê-la. Novamente será necessário reiniciar o Firefox para que a extensão seja completamente removida.
  4. Definir Preferências da extensão: O botão “preferências” só estará disponível quando a extensão que estiver selecionada tenha algum painel de configuração. Neste caso, quando o botão é pressionado, o painel será aberto. Esse painel será diferente em cada extensão, pois são os desenvolvedores da extensão que o desenvolve, mas normalmente são bem intuitivos. Esse painel também pode ser encontrado através da respectiva opção no menu popup.
  5. Procurar atualizações para as extensões: Através dessa opção são procuradas atualizações todas para as extensões instaladas. Caso seja usada a opção no menu popup, ao invés do botão no gerenciador, serão procuradas atualizações apenas para a extensão selecionada;
  6. Abrir site oficial de extensões da Mozilla: Através desse link abre-se o site oficial de extensões da Mozilla: https://addons.mozilla.org/extensions.php.

Há algumas outras opções no gerenciador, que podem ser acessadas através do menu popup, além das já citadas. São elas:

  1. Visitar o site: Abre o site oficial da extensão;
  2. Sobre o … : Abre um painel de créditos da extensão;
  3. Mover … : muda a posição da extensão na lista.

Sobre o Autor

Redes Sociais:

Deixe seu comentário

X