public void setFont(Font font) { super.setFont(font); if (_mosaic!=null) _mosaic.setFont(font); revalidate(); }
public void setFont(Font font) { super.setFont(font); if (_tileList!=null) { for (Tile tile : _tileList) tile.setFont(font); for (TileAxis axis : _axisList) axis.setFont(font); } revalidate(); }
public void setFont(Font font) { super.setFont(font); if (updateAxisTics()) revalidate(); repaint(); }
/** * Sets the font in all components of this panel. * Sets the title font to be 1.5 times larger than the specified font. * @param font the font. */ public void setFont(Font font) { super.setFont(font); if (_mosaic!=null) _mosaic.setFont(font); if (_colorBar!=null) _colorBar.setFont(font); if (_title!=null) _title.setFont(font.deriveFont(1.5f*font.getSize2D())); adjustColorBar(); revalidate(); }