From baf71a063ac6499b4f9dc8a03aa0f8bd60394dbe Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 20 May 2005 13:40:07 +0000 Subject: [PATCH] if fullid shown, resize fonts --- src/jalview/appletgui/AlignFrame.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/jalview/appletgui/AlignFrame.java b/src/jalview/appletgui/AlignFrame.java index 711a2f3..dd4ff38 100755 --- a/src/jalview/appletgui/AlignFrame.java +++ b/src/jalview/appletgui/AlignFrame.java @@ -511,7 +511,7 @@ public class AlignFrame extends GAlignFrame protected void fullSeqId_actionPerformed(ActionEvent e) { viewport.setShowFullId( fullSeqId.getState() ); - alignPanel.idPanel.idCanvas.setSize( alignPanel.calculateIdWidth() ); + alignPanel.fontChanged(); alignPanel.repaint(); } -- 1.7.10.2