From bacda2907d59bee4300af624cce7d78cfe3ab570 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Fri, 7 Apr 2006 12:57:17 +0000 Subject: [PATCH] padGaps set in preferences --- src/jalview/gui/AlignViewport.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/jalview/gui/AlignViewport.java b/src/jalview/gui/AlignViewport.java index 15c10e7..3509217 100755 --- a/src/jalview/gui/AlignViewport.java +++ b/src/jalview/gui/AlignViewport.java @@ -62,7 +62,7 @@ public class AlignViewport int charHeight; int charWidth; int wrappedWidth; - Font font = new Font("SansSerif", Font.PLAIN, 10); + Font font; AlignmentI alignment; ColumnSelection colSel = new ColumnSelection(); int threshold; @@ -138,6 +138,8 @@ public class AlignViewport autoCalculateConsensus = Cache.getDefault("AUTO_CALC_CONSENSUS", true); + padGaps = Cache.getDefault("PAD_GAPS", false); + String fontName = Cache.getDefault("FONT_NAME", "SansSerif"); String fontStyle = Cache.getDefault("FONT_STYLE", Font.PLAIN + "") ; String fontSize = Cache.getDefault("FONT_SIZE", "10"); -- 1.7.10.2