imgHeight = getSize().height;\r
imgHeight -= imgHeight % av.charHeight;\r
\r
+ if (imgHeight<1)\r
+ return;\r
+\r
if(image==null || imgHeight!=image.getHeight(this))\r
{\r
image = createImage(getSize().width, imgHeight);\r
// this draws the whole of the alignment\r
imgWidth = this.getSize().width;\r
imgHeight = this.getSize().height;\r
- if(imgWidth<1 || imgHeight<1)\r
- return;\r
\r
imgWidth -= imgWidth%av.charWidth;\r
imgHeight-= imgHeight%av.charHeight;\r
\r
+ if(imgWidth<1 || imgHeight<1)\r
+ return;\r
+\r
if(img==null || imgWidth!=img.getWidth(this) || imgHeight!=img.getHeight(this))\r
{\r
img = createImage(imgWidth, imgHeight);\r
\r
imgHeight = getHeight();\r
imgHeight -= imgHeight % av.charHeight;\r
+\r
+ if (imgHeight<1)\r
+ return;\r
+\r
image = new BufferedImage(getWidth(), imgHeight, BufferedImage.TYPE_INT_RGB);\r
gg = (Graphics2D) image.getGraphics();\r
//Fill in the background\r
// this draws the whole of the alignment\r
imgWidth = getWidth();\r
imgHeight = getHeight();\r
- if(imgWidth<1 || imgHeight<1)\r
- return;\r
\r
imgWidth -= imgWidth%av.charWidth;\r
imgHeight-= imgHeight%av.charHeight;\r
\r
+ if(imgWidth<1 || imgHeight<1)\r
+ return;\r
+\r
img = new BufferedImage(imgWidth,imgHeight,BufferedImage.TYPE_INT_RGB);\r
gg = (Graphics2D)img.getGraphics();\r
gg.setFont(av.getFont());\r
protected JCheckBoxMenuItem bootstrapMenu = new JCheckBoxMenuItem();\r
protected JCheckBoxMenuItem distanceMenu = new JCheckBoxMenuItem();\r
protected JCheckBoxMenuItem fitToWindow = new JCheckBoxMenuItem();\r
+ protected JCheckBoxMenuItem placeholdersMenu = new JCheckBoxMenuItem();\r
JMenuItem pngTree = new JMenuItem();\r
JMenuItem epsTree = new JMenuItem();\r
JMenu saveAsMenu = new JMenu();\r
}\r
});\r
saveAsMenu.setText("Save as");\r
+ placeholdersMenu.setToolTipText(\r
+ "Marks leaves of tree not associated with a sequence");\r
+ placeholdersMenu.setText("Mark unlinked leaves");\r
+ placeholdersMenu.addActionListener(new ActionListener()\r
+ {\r
+ public void actionPerformed(ActionEvent e)\r
+ {\r
+ placeholdersMenu_actionPerformed(e);\r
+ }\r
+ });\r
this.getContentPane().add(scrollPane, BorderLayout.CENTER);\r
jMenuBar1.add(jMenu1);\r
jMenuBar1.add(jMenu2);\r
jMenu2.add(fontSize);\r
jMenu2.add(distanceMenu);\r
jMenu2.add(bootstrapMenu);\r
+ jMenu2.add(placeholdersMenu);\r
saveAsMenu.add(saveAsNewick);\r
saveAsMenu.add(epsTree);\r
saveAsMenu.add(pngTree);\r
\r
}\r
\r
- public void saveAsNewick_actionPerformed(ActionEvent e)\r
+ protected void saveAsNewick_actionPerformed(ActionEvent e)\r
+ {\r
+\r
+ }\r
+\r
+ protected void placeholdersMenu_actionPerformed(ActionEvent e)\r
{\r
\r
}\r