Páginas de preferência

Depois que um plug-in tiver contribuído com extensões para a interface com o usuário do workbench, é comum que o plug-in permita que o usuário controle parte do comportamento do plug-in por meio de preferências do usuário.

A UI da plataforma fornece suporte para armazenar as preferências de plug-in e mostrá-las para o usuário nas páginas no diálogo Preferências do workbench. As preferências de plug-in são pares chave/valor, em que a chave descreve o nome da preferência e o valor é uma dos vários diferentes tipos. (Consulte as Preferências do tempo de execução para obter uma descrição detalhada da infra-estrutura das preferências do tempo de execução.)

Como um plug-in contribui com uma página para mostrar suas preferências? Utilizaremos o exemplo da ferramenta leia-me para verificar como ela contribui com uma página de preferência para o workbench e, em seguida, verificar alguns dos suportes para construção das páginas de preferência.