X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FJalview2XML.java;h=bb954768645acbd33252f655e61915c9f82179bc;hb=db192b1f4421a83083929d95f3c6e4a6fb16e7b2;hp=c524b39be1f82b191487443b2a6de96b43f7978a;hpb=5744abb4cd51c570f17eb440a17dcb3a2a93f8d2;p=jalview.git diff --git a/src/jalview/gui/Jalview2XML.java b/src/jalview/gui/Jalview2XML.java index c524b39..bb95476 100755 --- a/src/jalview/gui/Jalview2XML.java +++ b/src/jalview/gui/Jalview2XML.java @@ -221,7 +221,9 @@ public class Jalview2XML tree.setThreshold(tp.treeCanvas.threshold); tree.setFitToWindow(tp.fitToWindow.getState()); - tree.setFontSize(tp.treeCanvas.fontSize); + tree.setFontName(tp.getFont().getName()); + tree.setFontSize(tp.getFont().getSize()); + tree.setFontStyle(tp.getFont().getStyle()); tree.setMarkUnlinked(tp.placeholdersMenu.getState()); tree.setShowBootstrap(tp.bootstrapMenu.getState()); tree.setShowDistances(tp.distanceMenu.getState()); @@ -528,14 +530,25 @@ public class Jalview2XML } while (jarentry != null); } + catch(java.net.UnknownHostException ex) + { + ex.printStackTrace(); + System.err.println("Couldn't locate Jalview XML file : " + + ex + "\n"); + JOptionPane.showInternalMessageDialog(Desktop.desktop, + "Couldn't locate " + file, + "URL not found", + JOptionPane.WARNING_MESSAGE); + + } catch (Exception ex) { ex.printStackTrace(); System.err.println("Exception whilst loading jalview XML file : " + ex + "\n"); JOptionPane.showInternalMessageDialog(Desktop.desktop, - "Couldn't locate " + file, - "URL not found", + "Error loading " + file, + "Error loading Jalview file", JOptionPane.WARNING_MESSAGE); } @@ -775,8 +788,17 @@ public class Jalview2XML tp.fitToWindow.setState(tree.getFitToWindow()); tp.fitToWindow_actionPerformed(null); - tp.treeCanvas.fontSize = tree.getFontSize(); - tp.fontSize.setText("Font Size - " + tree.getFontSize()); + + if(tree.getFontName()!=null) + tp.setFont(new java.awt.Font(tree.getFontName(), + tree.getFontStyle(), + tree.getFontSize())); + else + tp.setFont(new java.awt.Font(view.getFontName(), + view.getFontStyle(), + tree.getFontSize())); + + tp.placeholdersMenu.setState(tree.getMarkUnlinked()); tp.placeholdersMenu_actionPerformed(null); tp.bootstrapMenu.setState(tree.getShowBootstrap());