git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b26ba0a
)
JAL-2435 test for 'mirror font' option visible (not enabled) (safer)
author
gmungoc
<g.m.carstairs@dundee.ac.uk>
Thu, 3 Aug 2017 11:18:03 +0000
(13:18 +0200)
committer
gmungoc
<g.m.carstairs@dundee.ac.uk>
Thu, 3 Aug 2017 11:18:03 +0000
(13:18 +0200)
src/jalview/gui/FontChooser.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/FontChooser.java
b/src/jalview/gui/FontChooser.java
index
06f29e9
..
20a6289
100755
(executable)
--- a/
src/jalview/gui/FontChooser.java
+++ b/
src/jalview/gui/FontChooser.java
@@
-323,22
+323,17
@@
public class FontChooser extends GFontChooser
ap.fontChanged();
/*
ap.fontChanged();
/*
- * adjust other half of split frame if any, if either same
- * font, or proportionate scaling, is selected
+ * adjust other half of split frame if present, whether or not same font or
+ * scale to cDNA is selected, because a font change may affect character
+ * width, and this is kept the same in both panels
*/
*/
- if (fontAsCdna.isEnabled())
+ if (fontAsCdna.isVisible())
{
if (fontAsCdna.isSelected())
{
{
if (fontAsCdna.isSelected())
{
- /*
- * copy the font
- */
ap.av.getCodingComplement().setFont(newFont, true);
}
ap.av.getCodingComplement().setFont(newFont, true);
}
- /*
- * adjust layout for font change / reset / sizing
- */
SplitFrame splitFrame = (SplitFrame) ap.alignFrame
.getSplitViewContainer();
splitFrame.adjustLayout();
SplitFrame splitFrame = (SplitFrame) ap.alignFrame
.getSplitViewContainer();
splitFrame.adjustLayout();