X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FScriptWindow.java;h=fd1e37ae704d99227a3e7e7c0f57c2ad0265d908;hb=6235128370382f0fecdf3ba1cc683052c5aa11e7;hp=ff377f708305118a2757923857a97b2f8bde1e3f;hpb=d423f22792e47dbc800ae220a58677f988971d06;p=jalview.git diff --git a/src/jalview/gui/ScriptWindow.java b/src/jalview/gui/ScriptWindow.java index ff377f7..fd1e37a 100644 --- a/src/jalview/gui/ScriptWindow.java +++ b/src/jalview/gui/ScriptWindow.java @@ -1,13 +1,13 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.5) - * Copyright (C) 2010 J Procter, AM Waterhouse, G Barton, M Clamp, S Searle + * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8) + * Copyright (C) 2012 J Procter, AM Waterhouse, LM Lui, J Engelhardt, G Barton, M Clamp, S Searle * * This file is part of Jalview. * * Jalview is free software: you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. - * + * * Jalview is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty * of MERCHANTABILITY or FITNESS FOR A PARTICULAR @@ -29,6 +29,7 @@ import org.jmol.i18n.GT; import org.jmol.util.Logger; import org.jmol.util.CommandHistory; +// TODO: this class is copied in from jmol 11.0.2 - upgrade to 12.0.2 ? public final class ScriptWindow extends JPanel implements ActionListener, EnterListener { @@ -53,7 +54,7 @@ public final class ScriptWindow extends JPanel implements ActionListener, public ScriptWindow(AppJmol appJmol) { - this.viewer = appJmol.viewer; + this.viewer = appJmol.jmb.viewer; this.appJmol = appJmol; setLayout(new BorderLayout()); @@ -230,7 +231,7 @@ public final class ScriptWindow extends JPanel implements ActionListener, else { boolean isScriptExecuting = viewer.isScriptExecuting(); - if (viewer.checkHalt(strCommand)) + if (viewer.checkHalt(strCommand, true)) strErrorMessage = (isScriptExecuting ? "string execution halted with " + strCommand : "no script was executing"); @@ -258,7 +259,7 @@ public final class ScriptWindow extends JPanel implements ActionListener, Object source = e.getSource(); if (source == closeButton) { - appJmol.showConsole(false); + // appJmol.showConsole(false); } else if (source == runButton) {