First page Back Continue Last page Overview Graphics
option database 3
option add padrão valor ?prioridade?
- prioridade: número de 0 a 100, ou: widgetDefault (20), startupFile (40), userDefault (60), interactive (80)
option clear
option get janela nome classe
- option get .painel.label relief {}
option readfile arqNome ?prioridade?
lê arquivo no formato ~/.Xdefaults (do unix)
Se vários padrões foram definidos para um resource (valor de um atributo), o de maior prioridade é usado no widget ao qual ele se aplica.