From 2b3ff3507854925d5bbaf4ad031bf020af176d47 Mon Sep 17 00:00:00 2001 From: Jim Procter Date: Thu, 6 Sep 2018 20:51:47 +0100 Subject: [PATCH] JAL-3091 code committed in error (failed patch for JAL-2854) --- src/jalview/gui/Desktop.java | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/src/jalview/gui/Desktop.java b/src/jalview/gui/Desktop.java index b65c73c..259e693 100644 --- a/src/jalview/gui/Desktop.java +++ b/src/jalview/gui/Desktop.java @@ -1940,16 +1940,6 @@ public class Desktop extends jalview.jbgui.GDesktop } } } - for (AlignmentPanel ap : source.alignPanels) - { - SwingUtilities.invokeLater(new Runnable() { - @Override - public void run() - { - ap.setSize(ap.getSize()); - } - }); - } } -- 1.7.10.2