Uses of Class
org.granite.builder.properties.Gas3Translator

Packages that use Gas3Translator

Package	Description
org.granite.builder.properties
org.granite.builder.ui

Uses of Gas3Translator in org.granite.builder.properties

Methods in org.granite.builder.properties that return types with arguments of type Gas3Translator

Modifier and Type	Method and Description
java.util.Set<Gas3Translator>	Gas3.getTranslators()

Uses of Gas3Translator in org.granite.builder.ui

Methods in org.granite.builder.ui that return types with arguments of type Gas3Translator

Modifier and Type	Method and Description
java.util.Set<Gas3Translator>	OptionsPanel.getTranslators()