From be51efa72c8b34fc2d4dba1beb11185210215c2e Mon Sep 17 00:00:00 2001 From: jprocter Date: Wed, 18 Aug 2010 11:04:14 +0000 Subject: [PATCH] 1.5 annotation removal --- src/jalview/appletgui/AppletJmolBinding.java | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/jalview/appletgui/AppletJmolBinding.java b/src/jalview/appletgui/AppletJmolBinding.java index 745e8f7..4c29e05 100644 --- a/src/jalview/appletgui/AppletJmolBinding.java +++ b/src/jalview/appletgui/AppletJmolBinding.java @@ -23,7 +23,6 @@ class AppletJmolBinding extends jalview.ext.jmol.JalviewJmolBinding appletJmolBinding = appletJmol; } - @Override public jalview.api.FeatureRenderer getFeatureRenderer() { if (appletJmolBinding.ap.av.showSequenceFeatures) @@ -39,7 +38,6 @@ class AppletJmolBinding extends jalview.ext.jmol.JalviewJmolBinding return appletJmolBinding.fr; } - @Override public jalview.api.SequenceRenderer getSequenceRenderer() { return new SequenceRenderer(appletJmolBinding.ap.av); @@ -62,14 +60,12 @@ class AppletJmolBinding extends jalview.ext.jmol.JalviewJmolBinding } } - @Override public void showUrl(String url, String target) { appletJmolBinding.ap.alignFrame.showURL(url, target); } - @Override public void updateUI() { appletJmolBinding.updateTitleAndMenus(); @@ -98,7 +94,6 @@ class AppletJmolBinding extends jalview.ext.jmol.JalviewJmolBinding jmolpopup = JmolPopup.newJmolPopup(viewer,translateLocale, menuName,asPopup); } - @Override public void notifyScriptTermination(String strStatus, int msWalltime) { // do nothing. -- 1.7.10.2