|
From: <ian...@us...> - 2013-09-26 15:10:39
|
Revision: 16941
http://sourceforge.net/p/gate/code/16941
Author: ian_roberts
Date: 2013-09-26 15:10:36 +0000 (Thu, 26 Sep 2013)
Log Message:
-----------
Tell the various JWS GUIs to use ~/(.)gate-teamware.xml instead of
~/(.)gate.xml as their user config file, to avoid teamware and GATE Developer
treading on each other's toes when run on the same machine.
Modified Paths:
--------------
teamware/trunk/annic-gui/src/gleam/annic/AnnicGUI.java
teamware/trunk/annotation-diff-gui/src/gleam/annotationdiffgui/AnnotationDiffGUI.java
teamware/trunk/annotator-gui/src/gleam/annotatorgui/AnnotatorGUI.java
Modified: teamware/trunk/annic-gui/src/gleam/annic/AnnicGUI.java
===================================================================
--- teamware/trunk/annic-gui/src/gleam/annic/AnnicGUI.java 2013-09-26 15:05:25 UTC (rev 16940)
+++ teamware/trunk/annic-gui/src/gleam/annic/AnnicGUI.java 2013-09-26 15:10:36 UTC (rev 16941)
@@ -226,6 +226,9 @@
fos.close();
is.close();
}
+ // read a teamware-specific user config rather than the same one GATE Developer uses
+ File userConfig = new File(System.getProperty("user.home"), Gate.runningOnUnix() ? ".gate-teamware.xml" : "gate-teamware.xml");
+ Gate.setUserConfigFile(userConfig);
try {
Gate.init();
gate.Main.applyUserPreferences();
Modified: teamware/trunk/annotation-diff-gui/src/gleam/annotationdiffgui/AnnotationDiffGUI.java
===================================================================
--- teamware/trunk/annotation-diff-gui/src/gleam/annotationdiffgui/AnnotationDiffGUI.java 2013-09-26 15:05:25 UTC (rev 16940)
+++ teamware/trunk/annotation-diff-gui/src/gleam/annotationdiffgui/AnnotationDiffGUI.java 2013-09-26 15:10:36 UTC (rev 16941)
@@ -206,6 +206,9 @@
is.close();
}
+ // read a teamware-specific user config rather than the same one GATE Developer uses
+ File userConfig = new File(System.getProperty("user.home"), Gate.runningOnUnix() ? ".gate-teamware.xml" : "gate-teamware.xml");
+ Gate.setUserConfigFile(userConfig);
// Initialize the framework Gate
try {
Gate.init();
Modified: teamware/trunk/annotator-gui/src/gleam/annotatorgui/AnnotatorGUI.java
===================================================================
--- teamware/trunk/annotator-gui/src/gleam/annotatorgui/AnnotatorGUI.java 2013-09-26 15:05:25 UTC (rev 16940)
+++ teamware/trunk/annotator-gui/src/gleam/annotatorgui/AnnotatorGUI.java 2013-09-26 15:10:36 UTC (rev 16941)
@@ -378,6 +378,9 @@
fos.close();
is.close();
}
+ // read a teamware-specific user config rather than the same one GATE Developer uses
+ File userConfig = new File(System.getProperty("user.home"), Gate.runningOnUnix() ? ".gate-teamware.xml" : "gate-teamware.xml");
+ Gate.setUserConfigFile(userConfig);
try {
Gate.init();
// apply font and L&F preferences from user config
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|