From 3eaeb80fba0225aa5c6123a4c512da569211dcfb Mon Sep 17 00:00:00 2001 From: kiramt Date: Thu, 10 Aug 2017 14:40:53 +0100 Subject: [PATCH] JAL-2587 tidy --- src/jalview/gui/OverviewPanel.java | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/jalview/gui/OverviewPanel.java b/src/jalview/gui/OverviewPanel.java index 39f1500..6e453ba 100755 --- a/src/jalview/gui/OverviewPanel.java +++ b/src/jalview/gui/OverviewPanel.java @@ -71,8 +71,6 @@ public class OverviewPanel extends JPanel implements Runnable, private ProgressPanel progressPanel; - boolean resizing = false; - /** * Creates a new OverviewPanel object. * -- 1.7.10.2