setAttributeByTagName(new String[] {"options", "farben", "aktiv"} , Boolean.toString(settings.isFarbenAktiv())); setAttributeByTagName(new String[] {"options", "farben", "hintergrund", "downloadFertig"} , Integer.toString(settings. getDownloadFertigHintergrundColor().getRGB())); setAttributeByTagName(new String[] {"options", "farben", "hintergrund", "quelle"} , Integer.toString(settings. getQuelleHintergrundColor(). getRGB())); setAttributeByTagName(new String[] {"options", "download", "uebersicht"} , Boolean.toString(settings.isDownloadUebersicht())); setAttributeByTagName(new String[] {"options", "loadplugins"} , Boolean.toString(settings. shouldLoadPluginsOnStartup())); setAttributeByTagName(new String[] {"options", "enableToolTip"} , Boolean.toString(settings.isToolTipEnabled())); informSettingsListener(settings); }
propertyHandler.put("options_farben_aktiv", settings.isFarbenAktiv()); propertyHandler.put("options_farben_hintergrund_downloadFertig", settings.getDownloadFertigHintergrundColor().getRGB()); propertyHandler.put("options_farben_hintergrund_quelle", settings .getQuelleHintergrundColor().getRGB()); propertyHandler.put("options_download_uebersicht", settings .isDownloadUebersicht()); propertyHandler.put("options_loadplugins", settings .shouldLoadPluginsOnStartup()); propertyHandler.put("options_enableToolTip", settings .isToolTipEnabled()); informSettingsListener(settings); }
    public void saveSettings(Settings settings) {        setAttributeByTagName(new String[] {"options", "farben", "aktiv"}                              ,                              Boolean.toString(settings.isFarbenAktiv()));        setAttributeByTagName(new String[] {"options", "farben", "hintergrund",                              "downloadFertig"}                              ,                              Integer.toString(settings.            getDownloadFertigHintergrundColor().getRGB()));        setAttributeByTagName(new String[] {"options", "farben", "hintergrund",                              "quelle"}                              ,                              Integer.toString(settings.                                               getQuelleHintergrundColor().                                               getRGB()));        setAttributeByTagName(new String[] {"options", "download", "uebersicht"}                              ,                              Boolean.toString(settings.isDownloadUebersicht()));        setAttributeByTagName(new String[] {"options", "loadplugins"}                              ,                              Boolean.toString(settings.                                               shouldLoadPluginsOnStartup()));        setAttributeByTagName(new String[] {"options", "enableToolTip"}                              ,                              Boolean.toString(settings.isToolTipEnabled()));        informSettingsListener(settings);    }