Method exportGraphics

src/figtree/application/FigTreeFrame.java:1241–1263

(GraphicFormat format, JComponent comp, OutputStream stream)

    }

    public final static void exportGraphics(GraphicFormat format, JComponent comp, OutputStream stream) throws IOException, DocumentException {
        switch (format) {

            case PNG:
            case GIF:
            case BMP:
            case JPEG:
                exportGraphicsFile(format, comp, stream);
                break;
            case EPS:
                throw new UnsupportedOperationException("EPS not handled");
            case SVG:
                exportSVGFile(comp, stream);
                break;
            case PDF:
                exportPDFFile(comp, stream);
                break;
            default:
                throw new UnsupportedOperationException("Format not handled: " + format);

        }

    }
    private final static void exportGraphicsFile(GraphicFormat format, JComponent component, OutputStream stream) throws IOException {
        int imageType = BufferedImage.TYPE_INT_RGB;