git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
debug comment out
[jalview.git]
/
src
/
jalview
/
bin
/
Jalview.java
diff --git
a/src/jalview/bin/Jalview.java
b/src/jalview/bin/Jalview.java
index
28d029c
..
fae2b75
100755
(executable)
--- a/
src/jalview/bin/Jalview.java
+++ b/
src/jalview/bin/Jalview.java
@@
-20,6
+20,7
@@
*/
package jalview.bin;
*/
package jalview.bin;
+import jalview.api.AlignCalcWorkerI;
import jalview.api.AlignFrameI;
import jalview.api.AlignViewportI;
import jalview.api.JalviewApp;
import jalview.api.AlignFrameI;
import jalview.api.AlignViewportI;
import jalview.api.JalviewApp;
@@
-640,14
+641,6
@@
public class Jalview implements ApplicationSingletonI, JalviewJSApi
// TODO ?
}
// TODO ?
}
- if (aparser.contains(ArgsParser.SHOWOVERVIEW))
- {
- jalview.bin.Cache.setPropertyNoSave(Preferences.SHOW_OVERVIEW,
- "true");
-
- System.out.println("CMD [showoverview] executed successfully!");
- }
-
if (aparser.contains(ArgsParser.NOMENUBAR))
{
noMenuBar = true;
if (aparser.contains(ArgsParser.NOMENUBAR))
{
noMenuBar = true;
@@
-757,6
+750,13
@@
public class Jalview implements ApplicationSingletonI, JalviewJSApi
System.out.println(
"CMD [-annotations " + data + "] executed successfully!");
}
System.out.println(
"CMD [-annotations " + data + "] executed successfully!");
}
+
+ if (aparser.contains(ArgsParser.SHOWOVERVIEW))
+ {
+ af.overviewMenuItem_actionPerformed(null);
+ System.out.println("CMD [showoverview] executed successfully!");
+ }
+
// set or clear the sortbytree flag.
if (aparser.contains(ArgsParser.SORTBYTREE))
{
// set or clear the sortbytree flag.
if (aparser.contains(ArgsParser.SORTBYTREE))
{
@@
-2050,5
+2050,11
@@
public class Jalview implements ApplicationSingletonI, JalviewJSApi
currentAlignFrame.overviewMenuItem_actionPerformed(null);
}
currentAlignFrame.overviewMenuItem_actionPerformed(null);
}
+ public void notifyWorker(AlignCalcWorkerI worker, String status)
+ {
+ // System.out.println("Jalview worker " + worker.getClass().getSimpleName()
+ // + " " + status);
+ }
+
}
}