Uses of Class
prantl.ant.eclipse.GeneralPreferencesElement

Uses of GeneralPreferencesElement in prantl.ant.eclipse
 

Methods in prantl.ant.eclipse that return GeneralPreferencesElement
 GeneralPreferencesElement SettingsElement.createGeneral()
          Adds a definition of the general preferences element.