X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPymolBindingModel.java;fp=src%2Fjalview%2Fgui%2FPymolBindingModel.java;h=6787c8ab2ccee1a4381c4d9a1ee1459b49fda8b2;hb=1dd1e3cd8272449af3fe4dfa3f69239ca4ae471b;hp=af4afb0d31a281d4a2aa8a906709e345a4eab607;hpb=6e0685c38078ddcf959db75d001f8c92b114c8ae;p=jalview.git diff --git a/src/jalview/gui/PymolBindingModel.java b/src/jalview/gui/PymolBindingModel.java index af4afb0..6787c8a 100644 --- a/src/jalview/gui/PymolBindingModel.java +++ b/src/jalview/gui/PymolBindingModel.java @@ -1,5 +1,10 @@ package jalview.gui; +import java.util.ArrayList; +import java.util.HashMap; +import java.util.List; +import java.util.Map; + import jalview.api.AlignmentViewPanel; import jalview.datamodel.PDBEntry; import jalview.datamodel.SequenceI; @@ -11,11 +16,6 @@ import jalview.structure.StructureCommandI; import jalview.structure.StructureSelectionManager; import jalview.structures.models.AAStructureBindingModel; -import java.util.ArrayList; -import java.util.HashMap; -import java.util.List; -import java.util.Map; - public class PymolBindingModel extends AAStructureBindingModel { private PymolManager pymolManager; @@ -72,7 +72,7 @@ public class PymolBindingModel extends AAStructureBindingModel protected List executeCommand(StructureCommandI command, boolean getReply) { - System.out.println(command.toString()); // debug + // System.out.println(command.toString()); // debug return pymolManager.sendCommand(command, getReply); } @@ -100,11 +100,6 @@ public class PymolBindingModel extends AAStructureBindingModel { pymolManager.exitPymol(); } - // if (this.pymolListener != null) - // { - // pymolListener.shutdown(); - // pymolListener = null; - // } pymolManager = null; if (pymolMonitor != null) @@ -173,4 +168,16 @@ public class PymolBindingModel extends AAStructureBindingModel return file; } + /** + * Returns the file extension to use for a saved viewer session file (.pse) + * + * @return + * @see https://pymolwiki.org/index.php/Save + */ + @Override + public String getSessionFileExtension() + { + return ".pse"; + } + }