From 34e7d17e5283f39efcbfdaa46de54f9d0aec1e91 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 7 Apr 2005 11:35:02 +0000 Subject: [PATCH] paintFlag removed --- src/jalview/gui/PopupMenu.java | 1 - src/jalview/gui/SliderPanel.java | 2 -- 2 files changed, 3 deletions(-) diff --git a/src/jalview/gui/PopupMenu.java b/src/jalview/gui/PopupMenu.java index 166ab73..8d747c2 100755 --- a/src/jalview/gui/PopupMenu.java +++ b/src/jalview/gui/PopupMenu.java @@ -339,7 +339,6 @@ public class PopupMenu extends JPopupMenu if( superG !=null) superG.setSuperGroupProperties( sg ); - ap.seqPanel.seqCanvas.paintFlag=true; ap.seqPanel.repaint(); } diff --git a/src/jalview/gui/SliderPanel.java b/src/jalview/gui/SliderPanel.java index 4f7c89c..253246b 100755 --- a/src/jalview/gui/SliderPanel.java +++ b/src/jalview/gui/SliderPanel.java @@ -85,8 +85,6 @@ public class SliderPanel extends GSliderPanel groupIndex--; } - - ap.seqPanel.seqCanvas.paintFlag=true; ap.seqPanel.repaint(); } -- 1.7.10.2