From 258c0056231d8a97c1d40dd665260e7814d11206 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 9 Aug 2005 16:53:42 +0000 Subject: [PATCH] Cache.getDefault --- src/jalview/gui/CutAndPasteTransfer.java | 2 +- src/jalview/gui/Desktop.java | 2 +- src/jalview/io/FileLoader.java | 2 +- src/jalview/util/BrowserLauncher.java | 9 +-------- 4 files changed, 4 insertions(+), 11 deletions(-) diff --git a/src/jalview/gui/CutAndPasteTransfer.java b/src/jalview/gui/CutAndPasteTransfer.java index 9e0dca4..bd2eb7d 100755 --- a/src/jalview/gui/CutAndPasteTransfer.java +++ b/src/jalview/gui/CutAndPasteTransfer.java @@ -128,7 +128,7 @@ public class CutAndPasteTransfer extends GCutAndPasteTransfer try { - af.setMaximum(Preferences.showFullscreen); + af.setMaximum( jalview.bin.Cache.getDefault("SHOW_FULLSCREEN", false)); } catch (Exception ex) { diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index 3da12e9..020a420 100755 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -428,7 +428,7 @@ public class Desktop extends jalview.jbgui.GDesktop "VERSION") + "; last updated: " + jalview.bin. - Cache.getProperty("BUILD_DATE")); + Cache.getDefault("BUILD_DATE", "unknown")); if (!jalview.bin.Cache.getProperty("LATEST_VERSION").equals( jalview.bin.Cache.getProperty("VERSION"))) diff --git a/src/jalview/io/FileLoader.java b/src/jalview/io/FileLoader.java index d2d477e..40b8ffb 100755 --- a/src/jalview/io/FileLoader.java +++ b/src/jalview/io/FileLoader.java @@ -77,7 +77,7 @@ public class FileLoader try { - af.setMaximum(Preferences.showFullscreen); + af.setMaximum(jalview.bin.Cache.getDefault("SHOW_FULLSCREEN", false)); } catch (Exception ex) { diff --git a/src/jalview/util/BrowserLauncher.java b/src/jalview/util/BrowserLauncher.java index 6bac25b..b2f532f 100755 --- a/src/jalview/util/BrowserLauncher.java +++ b/src/jalview/util/BrowserLauncher.java @@ -689,14 +689,7 @@ public class BrowserLauncher case OTHER: default: - browser = jalview.bin.Cache.applicationProperties.getProperty( - "jalview.browser"); - - if (browser == null) - { - // hope firefox exists :-/ - browser = "firefox"; - } + browser = jalview.bin.Cache.getDefault("DEFAULT_BROWSER", "firefox"); break; } -- 1.7.10.2