X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fws%2Fjws2%2FMsaWSClient.java;h=09a6d8df0c0b6ad6568daa5809fc993722eb7ac3;hb=6a5133ef486df71c9559e7493e0db4b569d8ddf2;hp=fd01777635693d3ea41433791329d5cac16fc4bc;hpb=b82a11099963661dba5ee0d78ef762767751083d;p=jalview.git diff --git a/src/jalview/ws/jws2/MsaWSClient.java b/src/jalview/ws/jws2/MsaWSClient.java index fd01777..09a6d8d 100644 --- a/src/jalview/ws/jws2/MsaWSClient.java +++ b/src/jalview/ws/jws2/MsaWSClient.java @@ -289,17 +289,7 @@ public class MsaWSClient extends Jws2Client .getDismissDelay(); for (final WsParamSetI preset : presets) { - final JMenuItem methodR = new JMenuItem(preset.getName()) - { - @Override - protected void finalize() throws Throwable - { - // failsafe to ensure tooltip hover time is restored - ToolTipManager.sharedInstance().setDismissDelay( - showToolTipFor); - super.finalize(); - } - }; + final JMenuItem methodR = new JMenuItem(preset.getName()); final int QUICK_TOOLTIP = 1500; // JAL-1582 shorten tooltip display time in these menu items as // they can obscure other options