Dicionários

Informações

Apresentação

Este extra fornece uma forma rápida de acesso, até agora, a 70 dicionários. Para não sobrecarregar o extra, são apenas disponibilizados os dicionários de português, inglês e entre estes dois idiomas. Os restantes poderão ser descarregados através do próprio extra, utilizando a nova interface para gerir dicionários. Estamos receptivos a incluir outros dicionários. Portanto, se desejar acrescentar um dicionário, contacte um dos autores.

Utilização

Para começarmos a utilizar este extra, pressionamos Control+Shift+F6. Será aberta uma janela onde encontramos uma lista dos dicionários presentes no nosso computador, da qual podemos escolher o que queremos utilizar, e abri-lo com Enter. Temos também um botão para aceder à janela onde podemos gerir os dicionários, um botão para predefinir o dicionário selecionado e, por último, um botão para fechar o extra, o que também é conseguido com Escape.

Na janela Gerir dicionários, temos dois separadores: Gerir e Download. No primeiro separador, podemos definir a ordem pela qual os dicionários aparecem na lista ou apagar o dicionário selecionado. No separador Download podemos escolher os dicionários que pretendemos descarregar para utilizar.

Comandos

O comando para invocar o extra é Control+Shift+F6. Também pode utilizar o comando Control+Windows+F6 para aceder diretamente à pesquisa no dicionário padrão. Nota: Se não definir nenhum dicionário padrão será utilizado o primeiro dicionário na lista.

É possível alterar estes comandos no diálogo Definir comandos, na secção Dicionários.

Alterações

Version 2023.07.19

Versão 2022.10

Versão 22.06

Versão 22.05

Versão 21.12

Versão 21.11

Versão 21.10