return (w > 0 ? w : calculateIdWidth().width);
}
+ void makeAlignmentImage(ImageMaker.TYPE type, File file, String renderer)
+ {
+ makeAlignmentImage(type, file, renderer, 0.0f, 0, 0);
+ }
+
/**
* Builds an image of the alignment of the specified type (EPS/PNG/SVG) and
* writes it to the specified file
*
* @param type
* @param file
+ * @param textrenderer
+ * @param bitmapscale
*/
- void makeAlignmentImage(ImageMaker.TYPE type, File file, String renderer)
+ void makeAlignmentImage(ImageMaker.TYPE type, File file, String renderer,
+ float bitmapscale, int bitmapwidth, int bitmapheight)
{
final int borderBottomOffset = 5;
int imageWidth = aDimension.getWidth();
int imageHeight = aDimension.getHeight() + borderBottomOffset;
String of = MessageManager.getString("label.alignment");
- exporter.doExport(file, this, imageWidth, imageHeight, of, renderer);
+ exporter.doExport(file, this, imageWidth, imageHeight, of, renderer,
+ bitmapscale, bitmapwidth, bitmapheight);
}
/**