git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'feature/JAL-3855_ebi_alphafold_import' into features/JAL-2349_matrixvis...
[jalview.git]
/
src
/
jalview
/
appletgui
/
FontChooser.java
diff --git
a/src/jalview/appletgui/FontChooser.java
b/src/jalview/appletgui/FontChooser.java
index
c9a92b2
..
8b74e32
100644
(file)
--- a/
src/jalview/appletgui/FontChooser.java
+++ b/
src/jalview/appletgui/FontChooser.java
@@
-31,9
+31,9
@@
import java.awt.FlowLayout;
import java.awt.Font;
import java.awt.FontMetrics;
import java.awt.Frame;
import java.awt.Font;
import java.awt.FontMetrics;
import java.awt.Frame;
+import java.awt.GraphicsEnvironment;
import java.awt.Label;
import java.awt.Panel;
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.ActionEvent;
import java.awt.event.ActionListener;
import java.awt.event.ItemEvent;
@@
-144,7
+144,9
@@
public class FontChooser extends Panel implements ItemListener
*/
void init()
{
*/
void init()
{
- String fonts[] = Toolkit.getDefaultToolkit().getFontList();
+ // String fonts[] = Toolkit.getDefaultToolkit().getFontList();
+ String fonts[] = GraphicsEnvironment.getLocalGraphicsEnvironment()
+ .getAvailableFontFamilyNames();
for (int i = 0; i < fonts.length; i++)
{
fontName.addItem(fonts[i]);
for (int i = 0; i < fonts.length; i++)
{
fontName.addItem(fonts[i]);
@@
-261,7
+263,7
@@
public class FontChooser extends Panel implements ItemListener
{
ap.av.setCharWidth(oldCharWidth);
}
{
ap.av.setCharWidth(oldCharWidth);
}
- ap.paintAlignment(true);
+ ap.paintAlignment(true, false);
}
else if (tp != null)
{
}
else if (tp != null)
{