diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/util/Properties.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/util/Properties.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/util/Properties.java b/src/uk/ac/ox/cs/pagoda/util/Properties.java index b687b53..9ebebb6 100644 --- a/src/uk/ac/ox/cs/pagoda/util/Properties.java +++ b/src/uk/ac/ox/cs/pagoda/util/Properties.java | |||
| @@ -30,9 +30,9 @@ public class Properties { | |||
| 30 | public boolean getToCallHermiT() { return toCallHermiT; } | 30 | public boolean getToCallHermiT() { return toCallHermiT; } |
| 31 | public void setToCallHermiT(boolean flag) { toCallHermiT = flag; } | 31 | public void setToCallHermiT(boolean flag) { toCallHermiT = flag; } |
| 32 | 32 | ||
| 33 | public static boolean ShellModeDefault = false; | 33 | public static boolean shellModeDefault = false; |
| 34 | 34 | ||
| 35 | boolean shellMode = ShellModeDefault; | 35 | boolean shellMode = shellModeDefault; |
| 36 | public boolean getShellMode() { return shellMode; } | 36 | public boolean getShellMode() { return shellMode; } |
| 37 | public void setShellMode(boolean flag) { shellMode = flag; } | 37 | public void setShellMode(boolean flag) { shellMode = flag; } |
| 38 | 38 | ||
