deac/osd-contiki
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

only storing external tools settings differing from the defaults

Browse source
This commit is contained in:
fros4943 2007-04-04 08:04:48 +00:00
parent 8403776cf1
commit 3d1c427c60
1 changed files with 14 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
tools/cooja/java/se/sics/cooja/GUI.java
View file

@ -24,7 +24,7 @@
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
* *
* $Id: GUI.java,v 1.41 2007/04/03 16:21:12 fros4943 Exp $ * $Id: GUI.java,v 1.42 2007/04/04 08:04:48 fros4943 Exp $
*/ */
package se.sics.cooja; package se.sics.cooja;
@ -2313,7 +2313,19 @@ public class GUI {
public static void saveExternalToolsUserSettings() { public static void saveExternalToolsUserSettings() {
try { try {
FileOutputStream out = new FileOutputStream(externalToolsUserSettingsFile); FileOutputStream out = new FileOutputStream(externalToolsUserSettingsFile);
currentExternalToolsSettings.store(out, "COOJA User Settings");
Properties differingSettings = new Properties();
Enumeration keyEnum = currentExternalToolsSettings.keys();
while (keyEnum.hasMoreElements()) {
String key = (String) keyEnum.nextElement();
String defaultSetting = getExternalToolsDefaultSetting(key, "");
String currentSetting = getExternalToolsSetting(key, "");
if (!defaultSetting.equals(currentSetting)) {
differingSettings.setProperty(key, currentSetting);
}
}
differingSettings.store(out, "COOJA External Tools (User specific)");
out.close(); out.close();
} catch (FileNotFoundException ex) { } catch (FileNotFoundException ex) {
// Could not open settings file for writing, aborting // Could not open settings file for writing, aborting