X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FFontChooser.java;h=48f11b5d6537ed8f31d1b1ab8cbb95c431fe6ec7;hb=e309b8d9bd62fb304fdd612c7385e76027d2f2d7;hp=3a50c32a14a85d595a4371d51412b683487c428f;hpb=ad15cff29620f960119f80176f1fd443da9f6763;p=jalview.git diff --git a/src/jalview/appletgui/FontChooser.java b/src/jalview/appletgui/FontChooser.java index 3a50c32..48f11b5 100644 --- a/src/jalview/appletgui/FontChooser.java +++ b/src/jalview/appletgui/FontChooser.java @@ -20,10 +20,24 @@ */ package jalview.appletgui; +import jalview.api.ViewStyleI; import jalview.util.MessageManager; -import java.awt.*; -import java.awt.event.*; +import java.awt.BorderLayout; +import java.awt.Button; +import java.awt.Choice; +import java.awt.Color; +import java.awt.FlowLayout; +import java.awt.Font; +import java.awt.FontMetrics; +import java.awt.Frame; +import java.awt.Label; +import java.awt.Panel; +import java.awt.Toolkit; +import java.awt.event.ActionEvent; +import java.awt.event.ActionListener; +import java.awt.event.ItemEvent; +import java.awt.event.ItemListener; public class FontChooser extends Panel implements ActionListener, ItemListener @@ -34,6 +48,8 @@ public class FontChooser extends Panel implements ActionListener, Font oldFont; + int oldCharWidth = 0; + boolean init = true; Frame frame; @@ -65,6 +81,7 @@ public class FontChooser extends Panel implements ActionListener, this.ap = ap; oldFont = ap.av.getFont(); + oldCharWidth = ap.av.getViewStyle().getCharWidth(); init(); } @@ -144,6 +161,12 @@ public class FontChooser extends Panel implements ActionListener, if (ap != null) { ap.av.setFont(oldFont); + ViewStyleI style = ap.av.getViewStyle(); + if (style.getCharWidth() != oldCharWidth) + { + style.setCharWidth(oldCharWidth); + ap.av.setViewStyle(style); + } ap.paintAlignment(true); } else if (tp != null)