From 19f8f8d4932dca70f8662ae43775d901f741374b Mon Sep 17 00:00:00 2001 From: gmungoc Date: Tue, 5 Nov 2019 17:19:01 +0000 Subject: [PATCH] JAL-3210 reverted (ignore previous commit) --- src/jalview/gui/Desktop.java | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index ec6b795..6bb9b36 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -367,16 +367,13 @@ public class Desktop extends jalview.jbgui.GDesktop } */ - if (!Platform.isJS()) + try { - try - { - APQHandlers.setAPQHandlers(this); - } catch (Throwable t) - { - System.out.println("Error setting APQHandlers: " + t.toString()); - // t.printStackTrace(); - } + APQHandlers.setAPQHandlers(this); + } catch (Throwable t) + { + System.out.println("Error setting APQHandlers: " + t.toString()); + // t.printStackTrace(); } addWindowListener(new WindowAdapter() -- 1.7.10.2