From f7816ebbadbf7831b48f03318e2a5866a3932c71 Mon Sep 17 00:00:00 2001 From: =?utf8?q?David=20=E2=80=98Bombe=E2=80=99=20Roden?= Date: Mon, 21 Dec 2009 22:04:07 +0100 Subject: [PATCH] Add member for temp directory. --- src/de/todesbaum/jsite/gui/PreferencesPage.java | 32 +++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/src/de/todesbaum/jsite/gui/PreferencesPage.java b/src/de/todesbaum/jsite/gui/PreferencesPage.java index eeac468..03e4e67 100644 --- a/src/de/todesbaum/jsite/gui/PreferencesPage.java +++ b/src/de/todesbaum/jsite/gui/PreferencesPage.java @@ -41,6 +41,9 @@ public class PreferencesPage extends TWizardPage { /** Action that chooses a new temp directory. */ private Action chooseTempDirectoryAction; + /** The temp directory. */ + private String tempDirectory; + /** * Creates a new “preferences” page. * @@ -65,6 +68,35 @@ public class PreferencesPage extends TWizardPage { }); } + // + // ACCESSORS + // + + /** + * Returns the temp directory. + * + * @return The temp directory, or {@code null} to use the default temp + * directory + */ + public String getTempDirectory() { + return tempDirectory; + } + + /** + * Sets the temp directory. + * + * @param tempDirectory + * The temp directory, or {@code null} to use the default temp + * directory + */ + public void setTempDirectory(String tempDirectory) { + this.tempDirectory = tempDirectory; + } + + // + // PRIVATE METHODS + // + /** * Initializes this page. */ -- 2.7.4