Si le centre du cercle est sur l'horizon (à l'infini) alors +le cercle devient un horicycle
+Renvoie la mesure en degré de l'angle AOB
+Les centres des horicycles sont orientés par rapport à A et +B (pour maintenir une continuité des constructions)
+la valeur de l'angle est une expression
+Etant donnés trois points, construire le cercleou +l'équidistante passant par ces trois points.
+Construit la droite du pinceau défini par les deux droites +et passant par le point donné
+Attention le produit n'est pas commutatif. Ne s'applique a +priori que sur trois droites dont on sait qu'elles sont en +pinceau
+L'intersection de deux pinceaux peut, dans certains cas, ne +pas exister. Existe toujours si un pinceau est à centre.
+La hauteur d'un pinceau peut, dans des cas particuliers, ne +pas exister. Elle existe toujours si le pinceau est à +centre.
+Construit le cycle (cercle ou équidistante) défini par un +pinceau (2 droites) et un point.
+Attention cette macro ne s'applique QUE sur des droites +orientées (pour l'orientation des points idéaux)
+Graphics2D implementation that saves all operations to a string
+ * in the Encapsulated PostScript® (EPS) format.
+ */
+public class EPSGraphics2D extends VectorGraphics2D {
+ /** Constant to convert values from millimeters to PostScript® units
+ (1/72th inch). */
+// protected static final double MM_IN_UNITS = 72.0 / 25.4;
+ protected static final double MM_IN_UNITS = 1.0;
+
+ /** Mapping of stroke endcap values from Java to PostScript®. */
+ private static final MapEPSGraphics2D instance.
+ * The document dimension must be specified as parameters.
+ */
+ public EPSGraphics2D(double x, double y, double width, double height) {
+ super(x, y, width, height);
+ writeHeader();
+ }
+
+ @Override
+ protected void writeString(String str, double x, double y) {
+ // Escape string
+ str = str.replaceAll("\\\\", "\\\\\\\\").replaceAll("\t", "\\\\t")
+ .replaceAll("\b", "\\\\b").replaceAll("\f", "\\\\f")
+ .replaceAll("\\(", "\\\\(").replaceAll("\\)", "\\\\)");
+
+ //float fontSize = getFont().getSize2D();
+ //float leading = getFont().getLineMetrics("", getFontRenderContext())
+ // .getLeading();
+
+ write("gsave 1 -1 scale ");
+
+ /*
+ // Extract lines
+ String[] lines = str.replaceAll("\r\n", "\n").replaceAll("\r", "\n")
+ .split("\n");
+ // Output lines
+ for (int i = 0; i < lines.length; i++) {
+ String line = lines[i];
+ write(x, " -", y + i*fontSize + ((i>0) ? leading : 0f),
+ " M (", line, ") show ");
+ }
+ */
+
+ str = str.replaceAll("[\r\n]", "");
+ write(x, " -", y, " M (", str, ") show ");
+
+ writeln("grestore");
+ }
+
+ @Override
+ public void setStroke(Stroke s) {
+ BasicStroke bsPrev;
+ if (getStroke() instanceof BasicStroke) {
+ bsPrev = (BasicStroke) getStroke();
+ } else {
+ bsPrev = new BasicStroke();
+ }
+
+ super.setStroke(s);
+
+ if (s instanceof BasicStroke) {
+ BasicStroke bs = (BasicStroke) s;
+ if (bs.getLineWidth() != bsPrev.getLineWidth()) {
+ writeln(bs.getLineWidth(), " setlinewidth");
+ }
+ if (bs.getLineJoin() != bsPrev.getLineJoin()) {
+ writeln(STROKE_LINEJOIN.get(bs.getLineJoin()), " setlinejoin");
+ }
+ if (bs.getEndCap() != bsPrev.getEndCap()) {
+ writeln(STROKE_ENDCAPS.get(bs.getEndCap()), " setlinecap");
+ }
+ if ((!Arrays.equals(bs.getDashArray(), bsPrev.getDashArray())) ||
+ (bs.getDashPhase() != bsPrev.getDashPhase())) {
+ writeln("[", DataUtils.join(" ", bs.getDashArray()), "] ",
+ bs.getDashPhase(), " setdash");
+ }
+ }
+ }
+
+ @Override
+ protected void writeImage(Image img, int imgWidth, int imgHeight,
+ double x, double y, double width, double height) {
+ BufferedImage bufferedImg = GraphicsUtils.toBufferedImage(img);
+ String imgData = getEps(bufferedImg);
+ int bands = bufferedImg.getSampleModel().getNumBands();
+ int bitsPerPixel = (int) Math.ceil(
+ bufferedImg.getColorModel().getPixelSize() / 8.0) * 8;
+ int bitsPerSample = bitsPerPixel / bands;
+ if (bands > 3) {
+ bands = 3;
+ }
+ writeln("gsave");
+ writeln(x, " ", y, " ", width, " ", height, " ",
+ imgWidth, " ", imgHeight, " ", bitsPerSample, " img false ", bands,
+ " colorimage"
+ );
+ writeln(imgData, ">");
+ writeln("grestore");
+ }
+
+ @Override
+ public void setColor(Color c) {
+ Color color = getColor();
+ if (c != null) {
+ super.setColor(c);
+ // TODO Add transparency hints for PDF conversion?
+ /*if (color.getAlpha() != c.getAlpha()) {
+ double a = c.getAlpha()/255.0;
+ writeln("[ /ca ", a, " /SetTransparency pdfmark");
+ }*/
+ if (color.getRed() != c.getRed() || color.getGreen() != c.getGreen()
+ || color.getBlue() != c.getBlue()) {
+ double r = c.getRed()/255.0;
+ double g = c.getGreen()/255.0;
+ double b = c.getBlue()/255.0;
+ writeln(r, " ", g, " ", b, " rgb");
+ }
+ }
+ }
+
+ @Override
+ public void setFont(Font font) {
+ if (!getFont().equals(font)) {
+ super.setFont(font);
+ writeln("/", font.getPSName(), " ", font.getSize2D(),
+ " selectfont");
+
+ }
+ }
+
+ @Override
+ public void setClip(Shape clip) {
+ if (getClip() != null) {
+ writeln("cliprestore");
+ }
+ super.setClip(clip);
+ if (getClip() != null) {
+ writeShape(getClip());
+ writeln(" clip");
+ }
+ }
+
+ @Override
+ public void setTransform(AffineTransform tx) {
+ if (getTransform().equals(tx)) {
+ return;
+ }
+ super.setTransform(tx);
+ double[] matrix = new double[6];
+ getTransform().getMatrix(matrix);
+ writeln("basematrix setmatrix [", DataUtils.join(" ", matrix),
+ "] concat");
+ }
+
+ @Override
+ public void translate(double tx, double ty) {
+ super.translate(tx, ty);
+ if ((tx != 0.0) || (ty != 0.0)) {
+ writeln(tx, " ", ty, " translate");
+ }
+ }
+
+ @Override
+ public void scale(double sx, double sy) {
+ super.scale(sx, sy);
+ if ((sx != 1.0) || (sy != 1.0)) {
+ writeln(sx, " ", sy, " scale");
+ }
+ }
+
+ @Override
+ public void rotate(double theta) {
+ super.rotate(theta);
+ if (theta != 0.0) {
+ writeln(theta/Math.PI*180.0, " rotate");
+ }
+ }
+
+ @Override
+ public void rotate(double theta, double x, double y) {
+ super.rotate(theta, x, y);
+ if (theta != 0.0) {
+ writeln(x, " ", y, " translate ", theta/Math.PI*180.0, " rotate ",
+ -x, " ", -y, " translate");
+ }
+ }
+
+ @Override
+ public void shear(double sx, double sy) {
+ super.shear(sx, sy);
+ if ((sx != 0.0) || (sy != 0.0)) {
+ setTransform(getTransform());
+ }
+ }
+
+ @Override
+ protected void writeHeader() {
+ Rectangle2D bounds = getBounds();
+ double x = bounds.getX() * MM_IN_UNITS;
+ double y = bounds.getY() * MM_IN_UNITS;
+ double w = bounds.getWidth() * MM_IN_UNITS;
+ double h = bounds.getHeight() * MM_IN_UNITS;
+
+ writeln("%!PS-Adobe-3.0 EPSF-3.0");
+ writeln("%%BoundingBox: ",
+ (int) Math.floor(x), " ", (int) Math.floor(y), " ",
+ (int) Math.ceil(x + w), " ", (int) Math.ceil(y + h));
+ writeln("%%HiResBoundingBox: ", x, " ", y, " ", x + w, " ", y + h);
+ writeln("%%LanguageLevel: 3");
+ writeln("%%Pages: 1");
+ writeln("%%Page: 1 1");
+
+ // Utility functions
+ writeln("/M /moveto load def");
+ writeln("/L /lineto load def");
+ writeln("/C /curveto load def");
+ writeln("/Z /closepath load def");
+ writeln("/RL /rlineto load def");
+ writeln("/rgb /setrgbcolor load def");
+ writeln("/rect { ",
+ "/height exch def /width exch def /y exch def /x exch def ",
+ "x y M width 0 RL 0 height RL width neg 0 RL ",
+ "} bind def");
+ writeln("/ellipse { ",
+ "/endangle exch def /startangle exch def ",
+ "/ry exch def /rx exch def /y exch def /x exch def ",
+ "/savematrix matrix currentmatrix def ",
+ "x y translate rx ry scale 0 0 1 startangle endangle arcn ",
+ "savematrix setmatrix ",
+ "} bind def");
+ writeln("/img { ",
+ "/bits exch def /imgheight exch def /imgwidth exch def ",
+ "/height exch def /width exch def /y exch def /x exch def ",
+ "x y translate width height scale ",
+ "imgwidth imgheight bits [imgwidth 0 0 imgheight 0 0] currentfile ",
+ "/ASCIIHexDecode filter ",
+ "} bind def");
+ // Set default font
+ writeln("/", getFont().getPSName(), " ", getFont().getSize2D(),
+ " selectfont");
+ //writeln("<< /AllowTransparency true >> setdistillerparams"); // TODO
+ // Save state
+ writeln("gsave");
+ // Save state
+ writeln("clipsave");
+ // Settings
+ writeln("/DeviceRGB setcolorspace");
+ // Adjust page size and page origin
+ writeln("0 ", h, " translate");
+ writeln(MM_IN_UNITS, " -", MM_IN_UNITS, " scale");
+ writeln("/basematrix matrix currentmatrix def");
+ }
+
+ /**
+ * Utility method for writing a tag closing fragment for drawing operations.
+ */
+ @Override
+ protected void writeClosingDraw(Shape s) {
+ writeln(" stroke");
+ }
+
+ /**
+ * Utility method for writing a tag closing fragment for filling operations.
+ */
+ @Override
+ protected void writeClosingFill(Shape s) {
+ // TODO Omit fill operation if paint isn't a Color object
+ writeln(" fill");
+ if (!(getPaint() instanceof Color)) {
+ super.writeClosingFill(s);
+ }
+ }
+
+ /**
+ * Utility method for writing an arbitrary shape to.
+ * It tries to translate Java2D shapes to the corresponding EPS shape
+ * commands.
+ */
+ @Override
+ protected void writeShape(Shape s) {
+ write("newpath ");
+ if (s instanceof Line2D) {
+ Line2D l = (Line2D) s;
+ double x1 = l.getX1();
+ double y1 = l.getY1();
+ double x2 = l.getX2();
+ double y2 = l.getY2();
+ write(x1, " ", y1, " M ", x2, " ", y2, " L");
+ return;
+ } else if (s instanceof Rectangle2D) {
+ Rectangle2D r = (Rectangle2D) s;
+ double x = r.getX();
+ double y = r.getY();
+ double width = r.getWidth();
+ double height = r.getHeight();
+ write(x, " ", y, " ", width, " ", height, " rect Z");
+ return;
+ } else if (s instanceof Ellipse2D) {
+ Ellipse2D e = (Ellipse2D) s;
+ double x = e.getX() + e.getWidth()/2.0;
+ double y = e.getY() + e.getHeight()/2.0;
+ double rx = e.getWidth()/2.0;
+ double ry = e.getHeight()/2.0;
+ write(x, " ", y, " ", rx, " ", ry, " ", 360.0, " ", 0.0,
+ " ellipse Z");
+ return;
+ } else if (s instanceof Arc2D) {
+ Arc2D e = (Arc2D) s;
+ double x = (e.getX() + e.getWidth()/2.0);
+ double y = (e.getY() + e.getHeight()/2.0);
+ double rx = e.getWidth()/2.0;
+ double ry = e.getHeight()/2.0;
+ double startAngle = -e.getAngleStart();
+ double endAngle = -(e.getAngleStart() + e.getAngleExtent());
+ write(x, " ", y, " ", rx, " ", ry, " ", startAngle, " ", endAngle,
+ " ellipse");
+ if (e.getArcType() == Arc2D.CHORD) {
+ write(" Z");
+ } else if (e.getArcType() == Arc2D.PIE) {
+ write(" ", x, " ", y, " L Z");
+ }
+ return;
+ } else {
+ PathIterator segments = s.getPathIterator(null);
+ double[] coordsCur = new double[6];
+ double[] pointPrev = new double[2];
+ for (int i = 0; !segments.isDone(); i++, segments.next()) {
+ if (i > 0) {
+ write(" ");
+ }
+ int segmentType = segments.currentSegment(coordsCur);
+ switch (segmentType) {
+ case PathIterator.SEG_MOVETO:
+ write(coordsCur[0], " ", coordsCur[1], " M");
+ pointPrev[0] = coordsCur[0];
+ pointPrev[1] = coordsCur[1];
+ break;
+ case PathIterator.SEG_LINETO:
+ write(coordsCur[0], " ", coordsCur[1], " L");
+ pointPrev[0] = coordsCur[0];
+ pointPrev[1] = coordsCur[1];
+ break;
+ case PathIterator.SEG_CUBICTO:
+ write(coordsCur[0], " ", coordsCur[1], " ",
+ coordsCur[2], " ", coordsCur[3], " ",
+ coordsCur[4], " ", coordsCur[5], " C");
+ pointPrev[0] = coordsCur[4];
+ pointPrev[1] = coordsCur[5];
+ break;
+ case PathIterator.SEG_QUADTO:
+ double x1 = pointPrev[0] + 2.0/3.0*(coordsCur[0] - pointPrev[0]);
+ double y1 = pointPrev[1] + 2.0/3.0*(coordsCur[1] - pointPrev[1]);
+ double x2 = coordsCur[0] + 1.0/3.0*(coordsCur[2] - coordsCur[0]);
+ double y2 = coordsCur[1] + 1.0/3.0*(coordsCur[3] - coordsCur[1]);
+ double x3 = coordsCur[2];
+ double y3 = coordsCur[3];
+ write(x1, " ", y1, " ", x2, " ", y2, " ", x3, " ", y3,
+ " C");
+ pointPrev[0] = x3;
+ pointPrev[1] = y3;
+ break;
+ case PathIterator.SEG_CLOSE:
+ write("Z");
+ break;
+ default:
+ throw new IllegalStateException("Unknown path operation.");
+ }
+ }
+ }
+ }
+
+ public static String getEps(BufferedImage bufferedImg) {
+ int width = bufferedImg.getWidth();
+ int height = bufferedImg.getHeight();
+ int bands = bufferedImg.getSampleModel().getNumBands();
+ StringBuffer str = new StringBuffer(width*height*bands*2);
+ for (int y = 0; y < height; y++) {
+ for (int x = 0; x < width; x++) {
+ int pixel = bufferedImg.getRGB(x, y) & 0xffffff;
+ if (bands >= 3) {
+ String hex = String.format("%06x", pixel);
+ str.append(hex);
+ } else if (bands == 1) {
+ str.append(String.format("%02x", pixel));
+ }
+ }
+ str.append("\n");
+ }
+ return str.toString();
+ }
+
+ @Override
+ protected String getFooter() {
+ return "grestore % Restore state\n%%EOF\n";
+ }
+
+ @Override
+ public byte[] getBytes() {
+ try {
+ return toString().getBytes("ISO-8859-1");
+ } catch (UnsupportedEncodingException e) {
+ return super.getBytes();
+ }
+ }
+}
diff --git a/de/erichseifert/vectorgraphics2d/GraphicsUtils.java b/de/erichseifert/vectorgraphics2d/GraphicsUtils.java
new file mode 100644
index 0000000..48b742a
--- /dev/null
+++ b/de/erichseifert/vectorgraphics2d/GraphicsUtils.java
@@ -0,0 +1,125 @@
+/*
+ * VectorGraphics2D: Vector export for Java(R) Graphics2D
+ *
+ * (C) Copyright 2010 Erich Seifert true if the specified image
+ * has transparent pixels.
+ * Taken from http://www.exampledepot.com/egs/java.awt.image/HasAlpha.html
+ * @param image
+ * @return true if the specified image has transparent pixels,
+ * false otherwise
+ */
+ public static boolean hasAlpha(Image image) {
+ // If buffered image, the color model is readily available
+ if (image instanceof BufferedImage) {
+ BufferedImage bimage = (BufferedImage) image;
+ return bimage.getColorModel().hasAlpha();
+ }
+ // Use a pixel grabber to retrieve the image's color model;
+ // grabbing a single pixel is usually sufficient
+ PixelGrabber pg = new PixelGrabber(image, 0, 0, 1, 1, false);
+ try {
+ pg.grabPixels();
+ } catch (InterruptedException e) {
+ }
+ // Get the image's color model
+ ColorModel cm = pg.getColorModel();
+ return cm.hasAlpha();
+ }
+
+ /**
+ * This method returns a buffered image with the contents of an image.
+ * Taken from http://www.exampledepot.com/egs/java.awt.image/Image2Buf.html
+ * @param image Image ot be converted
+ * @return a buffered image with the contents of the specified image
+ */
+ public static BufferedImage toBufferedImage(Image image) {
+ if (image instanceof BufferedImage) {
+ return (BufferedImage) image;
+ }
+ // This code ensures that all the pixels in the image are loaded
+ image = new ImageIcon(image).getImage();
+ // Determine if the image has transparent pixels
+ boolean hasAlpha = hasAlpha(image);
+ // Create a buffered image with a format that's compatible with the
+ // screen
+ BufferedImage bimage = null;
+ GraphicsEnvironment ge = GraphicsEnvironment
+ .getLocalGraphicsEnvironment();
+ try {
+ // Determine the type of transparency of the new buffered image
+ int transparency = Transparency.OPAQUE;
+ if (hasAlpha) {
+ transparency = Transparency.BITMASK;
+ }
+ // Create the buffered image
+ GraphicsDevice gs = ge.getDefaultScreenDevice();
+ GraphicsConfiguration gc = gs.getDefaultConfiguration();
+ bimage = gc.createCompatibleImage(
+ image.getWidth(null), image.getHeight(null), transparency);
+ } catch (HeadlessException e) {
+ // The system does not have a screen
+ bimage = null;
+ }
+ if (bimage == null) {
+ // Create a buffered image using the default color model
+ int type = BufferedImage.TYPE_INT_RGB;
+ if (hasAlpha) {
+ type = BufferedImage.TYPE_INT_ARGB;
+ }
+ bimage = new BufferedImage(
+ image.getWidth(null), image.getHeight(null), type);
+ }
+ // Copy image to buffered image
+ Graphics g = bimage.createGraphics();
+ // Paint the image onto the buffered image
+ g.drawImage(image, 0, 0, null);
+ g.dispose();
+ return bimage;
+ }
+}
diff --git a/de/erichseifert/vectorgraphics2d/PDFGraphics2D.java b/de/erichseifert/vectorgraphics2d/PDFGraphics2D.java
new file mode 100644
index 0000000..ab1c1a0
--- /dev/null
+++ b/de/erichseifert/vectorgraphics2d/PDFGraphics2D.java
@@ -0,0 +1,637 @@
+/*
+ * VectorGraphics2D: Vector export for Java(R) Graphics2D
+ *
+ * (C) Copyright 2010 Erich Seifert Graphics2D implementation that saves all operations to a string
+ * in the Portable Document Format (PDF).
+ */
+public class PDFGraphics2D extends VectorGraphics2D {
+ /** Prefix string for PDF font resource ids. */
+ protected static final String FONT_RESOURCE_PREFIX = "F";
+ /** Prefix string for PDF image resource ids. */
+ protected static final String IMAGE_RESOURCE_PREFIX = "Im";
+ /** Prefix string for PDF transparency resource ids. */
+ protected static final String TRANSPARENCY_RESOURCE_PREFIX = "T";
+
+ /** Constant to convert values from millimeters to PostScript®/PDF units (1/72th inch). */
+ protected static final double MM_IN_UNITS = 72.0 / 25.4;
+
+ /** Mapping of stroke endcap values from Java to PDF. */
+ private static final MapPDFGraphics2D instance.
+ * The document dimension must be specified as parameters.
+ */
+ public PDFGraphics2D(double x, double y, double width, double height) {
+ super(x, y, width, height);
+ curObjId = 1;
+ objPositions = new TreeMapGraphics2D implementation that saves all operations to a string
+ * in the Scaled Vector Graphics (SVG) format.
+ */
+public class SVGGraphics2D extends VectorGraphics2D {
+ /** Mapping of stroke endcap values from Java to SVG. */
+ private static final MapSVGGraphics2D instance.
+ * The document dimension must be specified as parameters.
+ */
+ public SVGGraphics2D(double x, double y, double width, double height) {
+ super(x, y, width, height);
+ writeHeader();
+ }
+
+ @Override
+ protected void writeString(String str, double x, double y) {
+ // Escape string
+ str = str.replaceAll("&", "&").replaceAll("<", "<").replaceAll(">", ">");
+
+ float fontSize = getFont().getSize2D();
+ //float leading = getFont().getLineMetrics("", getFontRenderContext()).getLeading();
+
+ /*
+ // Extract lines
+ String[] lines = str.replaceAll("\r\n", "\n").replaceAll("\r", "\n").split("\n");
+
+ // Output lines
+ writeln("true if the document is distorted,
+ * otherwise false.
+ */
+ protected boolean isDistorted() {
+ if (!isTransformed()) {
+ return false;
+ }
+ int type = transform.getType();
+ int otherButTranslatedOrScaled = ~(AffineTransform.TYPE_TRANSLATION
+ | AffineTransform.TYPE_MASK_SCALE);
+ return (type & otherButTranslatedOrScaled) != 0;
+ }
+
+ @Override
+ public String toString() {
+ return document.toString() + getFooter();
+ }
+
+ /**
+ * Encodes the painted data into a sequence of bytes.
+ * @return A byte array containing the data in the current file format.
+ */
+ public byte[] getBytes() {
+ try {
+ return toString().getBytes("UTF-8");
+ } catch (UnsupportedEncodingException e) {
+ return toString().getBytes();
+ }
+ }
+
+ /**
+ * Returns the dimensions of the document.
+ * @return dimensions of the document.
+ */
+ public Rectangle2D getBounds() {
+ Rectangle2D b = new Rectangle2D.Double();
+ b.setFrame(bounds);
+ return b;
+ }
+
+ /**
+ * Returns the number of bytes of the document.
+ * @return size of the document in bytes.
+ */
+ protected int size() {
+ return document.length();
+ }
+
+ /**
+ * Returns how fonts should be rendered.
+ * @return Font rendering mode.
+ */
+ public FontRendering getFontRendering() {
+ return fontRendering;
+ }
+
+ /**
+ * Sets how fonts should be rendered. For example, they can be converted
+ * to vector shapes.
+ * @param mode New font rendering mode.
+ */
+ public void setFontRendering(FontRendering mode) {
+ fontRendering = mode;
+ }
+
+ /**
+ * Returns whether an affine transformation like translation, scaling,
+ * rotation or shearing has been applied to this graphics instance.
+ * @return true if the instance has been transformed,
+ * false otherwise
+ */
+ protected boolean isTransformed() {
+ return transformed;
+ }
+
+ /**
+ * Returns the resolution in pixels per inch.
+ * @return Resolution in pixels per inch.
+ */
+ public double getResolution() {
+ return resolution;
+ }
+
+ /**
+ * Sets the resolution in pixels per inch.
+ * @param resolution New resolution in pixels per inch.
+ */
+ public void setResolution(double resolution) {
+ if (resolution <= 0.0) {
+ throw new IllegalArgumentException(
+ "Only positive non-zero values allowed");
+ }
+ this.resolution = resolution;
+ }
+
+ /**
+ * Returns the maximal size of images which are used to raster paints
+ * like e.g. gradients, or patterns. The default value is 128.
+ * @return Current maximal image size in pixels.
+ */
+ public int getRasteredImageSizeMaximum() {
+ return rasteredImageSizeMaximum;
+ }
+
+ /**
+ * Sets the maximal size of images which are used to raster paints
+ * like e.g. gradients, or patterns.
+ * @param paintImageSizeMaximum New maximal image size in pixels.
+ */
+ public void setRasteredImageSizeMaximum(int paintImageSizeMaximum) {
+ this.rasteredImageSizeMaximum = paintImageSizeMaximum;
+ }
+}
diff --git a/de/erichseifert/vectorgraphics2d/package-info.java b/de/erichseifert/vectorgraphics2d/package-info.java
new file mode 100644
index 0000000..0649ff0
--- /dev/null
+++ b/de/erichseifert/vectorgraphics2d/package-info.java
@@ -0,0 +1,25 @@
+/*
+ * VectorGraphics2D: Vector export for Java(R) Graphics2D
+ *
+ * (C) Copyright 2010 Erich Seifert Angle bisector of angle P1P2P3 as ray.
+Projects P to the line g.
+Rotate a point P around Q with angle ABC.
+Rotates a point P around Q with a given angle.
+")+""); + } + setOpaque(false); + } + + public JIcon(String name, String group, int iconperrow) { + this(name, group); + IconsPerRow=iconperrow; + } + + public String getIconGroup() { + return icon_group; + } + + public String getIconName() { + return icon_name; + } + + public boolean isToggleButton() { + return (icon_name.equals(icon_group)); + } + + public boolean isPushButton() { + return (icon_group==null); + } + + public void setOver(boolean b) { + isEntered=b; + } + + public void setSelected(boolean b) { + isSelected=b; + } + + public void setDisabled(boolean b) { + isDisabled=b; + } + + public boolean isSelected() { + return isSelected; + } + + public boolean isDisabled() { + return isDisabled; + } + + public void init() { + int w=getIconWidth(); + setPreferredSize(new Dimension(w, w)); + } + + public int getIconWidth() { + if (IconsPerRow==-1) { + return themes.getPaletteIconWidth(); + } else { + int w=(themes.getPaletteIconPerRow()*themes.getPaletteIconWidth())/IconsPerRow; + return w; + } + } + + @Override + public Point getToolTipLocation(MouseEvent event) { + return new Point(getSize().width/2, getSize().height+4); + } + + @Override + public void mouseClicked(MouseEvent e) { + } + + @Override + public void mousePressed(MouseEvent e) { + ClicOnMe(); + } + + @Override + public void mouseReleased(MouseEvent e) { + } + + @Override + public void mouseEntered(MouseEvent e) { + PaletteManager.setOverBtn(this); + } + + @Override + public void mouseExited(MouseEvent e) { + isEntered=false; + PaletteManager.repaint(); + } + private static ZirkelFrame ZF; + private static ZirkelCanvas ZC; + private static JZirkelCanvas JZF; + private static String moveonreselect=",delete,hide,rename,edit,zoom,animate,"; + + private static void TasksBeforeClick(JIcon me) { + ZF.CurrentTool=0; + if (PaletteManager.isGeomGroup(me.getIconName())) { + AreaConstructor.deletePreview(ZF.ZC); + QuadricConstructor.deletePreview(ZF.ZC); + } + CreateMacroDialog.quit(); + ZF.ZC.JCM.hideHandles(null); + } + + public void ClicOnMe() { + if ((moveonreselect.indexOf(","+icon_name+",")!=-1)&&(isSelected)) { + PaletteManager.setSelected_with_clic("move", true); + return; + } + PaletteManager.setSelectBtn(this); + ZF=JZirkelCanvas.getCurrentZF(); + JZF=JZirkelCanvas.getCurrentJZF(); + ZC=JZirkelCanvas.getCurrentZC(); + if (ZC==null) { + return; + } + if(ZC.getTool() instanceof JSmacroTool){ + ((JSmacroTool) ZC.getTool()).invalidate(ZC); + } + + PaletteManager.setGoodProperties(icon_name); + TasksBeforeClick(this); + action(this, icon_name); + } + + private static boolean checkReplay(String o) { + if (o.equals("oneforward")) { + JZF.getReplay().iconPressed(o); + } else if (o.equals("oneback")) { + JZF.getReplay().iconPressed(o); + } else if (o.equals("fastforward")) { + JZF.getReplay().iconPressed(o); + } else if (o.equals("fastback")) { + JZF.getReplay().iconPressed(o); + } else if (o.equals("allforward")) { + JZF.getReplay().iconPressed(o); + } else if (o.equals("setbreak")) { + JZF.getReplay().iconPressed(o); + } else if (o.equals("nextbreak")) { + JZF.getReplay().iconPressed(o); + } else { + JZF.getReplay().doclose(); + return false; + } + return true; + } + + private static void action(JIcon me, String o) { + + if (checkReplay(o)) { + return; + } + if (me.isDisabled) { + return; + } + ZC.pause(true); + ZC.requestFocus(); + ZF.setinfo(o); + + if ((ZC.isDP())&&(!ZC.isEuclidian())&&(MacroTools.isDPMacro(o))) { + MacroTools.runDPMacro(o); + } else if (o.equals("select")) { + ZF.ZC.setSelectTool(); + } else if (o.equals("load")) { + ZF.setinfo("save"); + FileTools.openFile(); + } else if (o.equals("save")) { + ZF.setinfo("save"); + FileTools.saveFile(); + } else if (o.equals("new")) { + tab_main_panel.newTabBtn(); + pipe_tools.actualiseMacroPanel(); + } else if (o.equals("newmacro")) { + new CreateMacroDialog(JZirkelCanvas.getNewMacroPanel()); + JZirkelCanvas.ActualiseMacroPanel(); + } else if (o.equals("manage_macros")) { + LeftPanel.showPanel(me.isSelected); + } else if (o.startsWith("type")) { + ZF.settype(Integer.parseInt(o.substring(4))); + ZF.setinfo("zone_aspect"); + } else if (o.startsWith("thickness")) { + setObjectColorType(Integer.parseInt(o.substring(9))); + ZF.setinfo("zone_aspect"); + } else if (o.startsWith("filled")) { + setObjectFilled(me.isSelected); + } else if (o.startsWith("color")) { + ZF.setinfo("zone_aspect"); + setObjectColor(Integer.parseInt(o.substring(5))); + } else if (o.startsWith("acolor")) { + final int chx=Integer.parseInt(o.substring(6)); + ZF.ZC.setAxis_color(chx); + ZF.ZC.repaint(); + } else if (o.startsWith("athickness")) { + final int chx=Integer.parseInt(o.substring(10)); + ZF.ZC.setAxis_thickness(chx); + ZF.ZC.repaint(); + } else if (o.equals("numgrid")) { + ZF.ZC.setAxis_labels(me.isSelected); + ZF.ZC.repaint(); + } else if (o.equals("dottedgrid")) { + ZF.ZC.setAxis_with_grid(me.isSelected); + ZF.ZC.repaint(); + } else if (o.equals("vector")) { + //ZF.setVectors(true); + ZF.settool("vector"); + } else if (o.equals("vector3D")) { + //ZF.setVectors(true); + ZF.settool("vector"); + } else if (o.equals("inter3D")) { + //ZF.setVectors(true); + ZF.settool("intersection"); + } else if (o.equals("midpoint3D")) { + //ZF.setVectors(true); + ZF.settool("midpoint"); + } else if (o.equals("segment3D")) { + //ZF.setVectors(true); + ZF.settool("segment"); + } else if (o.equals("line3D")) { + //ZF.setVectors(true); + ZF.settool("line"); + } else if (o.equals("ray3D")) { + //ZF.setVectors(true); + ZF.settool("ray"); + } else if (o.equals("area3D")) { + //ZF.setVectors(true); + ZF.settool("area"); + } else if (o.equals("segment")) { + //ZF.setVectors(false); + ZF.settool("segment"); + } else if (o.equals("quadric")) { + //ZF.setVectors(false); + ZF.settool("quadric"); + } else if (o.equals("fixedsegment")) { + + ZF.setVectors(false); + ZF.settool("fixedsegment"); + } else if (o.equals("angle3D")) { + //ZF.setVectors(true); + ZF.settool("angle"); + } else if (o.equals("image3")) { + + ZF.settool("image"); + +// if (!ZF.haveFile()) { +// JOptionPane.showMessageDialog(null, Global.Loc("palette.image.fileerror")); +//// PaletteManager.MW.savefile(); +// } +// +// if (ZF.haveFile()) { +// ZF.settool("image"); +// } else { +// PaletteManager.setSelected("point", true); +// } + } else if (o.equals("background")) { + ZF.setinfo("background"); + if (me.isSelected) { + Global.setParameter("background.usesize", + false); + Global.setParameter("background.tile", + false); + Global.setParameter("background.center", + true); + ZF.loadBackground(); + PaletteManager.setSelected_with_clic("imcenter", true); + } else { + ZF.ZC.grab(false); + } + } else if (o.equals("imcenter")) { + rene.gui.Global.setParameter("background.usesize", false); + rene.gui.Global.setParameter("background.tile", false); + rene.gui.Global.setParameter("background.center", true); + ZF.setinfo("background"); + ZF.ZC.repaint(); + + } else if (o.equals("imtile")) { + rene.gui.Global.setParameter("background.usesize", false); + rene.gui.Global.setParameter("background.tile", true); + rene.gui.Global.setParameter("background.center", false); + ZF.setinfo("background"); + ZF.ZC.repaint(); + } else if (o.equals("imstretch")) { + rene.gui.Global.setParameter("background.usesize", true); + rene.gui.Global.setParameter("background.tile", false); + rene.gui.Global.setParameter("background.center", false); + ZF.setinfo("background"); + ZF.ZC.repaint(); +// } else if (name.equals("loadmacros")) { +// JMacrosTools.OpenMacro(""); +// } else if (name.equals("new")) { +// JMacrosTools.NewWindow(); +// } else if (name.equals("load")) { +// JMacrosTools.OpenFile(); +// } else if (name.equals("save")) { +// PaletteManager.MW.savefile(); + } else if (o.equals("allback")) { + // ZF.settool(ZF.NParameters); + JZF.disposeReplay(); + JZF.newReplay(); + JZF.getReplay().iconPressed(o); + } else if (o.equals("partial")) { + ZF.ZC.setPartial(me.isSelected); + } else if (o.equals("plines")) { + ZF.ZC.setPartialLines(me.isSelected); + } else if (o.equals("showvalue")) { + setObjectShowValue(me.isSelected); + } else if (o.equals("hidden")) { + ZF.sethidden(me.isSelected); + ZC.reloadCD(); + ZF.setinfo("hidden"); + } else if (o.equals("showname")) { + setObjectShowName(me.isSelected); + } else if (o.equals("bold")) { + setObjectBold(me.isSelected); + } else if (o.equals("large")) { + setObjectLarge(me.isSelected); + } else if (o.equals("longnames")) { + ZF.setLongNames(me.isSelected); + ZF.setinfo("defaults"); + } else if (o.equals("obtuse")) { + setObjectObtuse(me.isSelected); + } else if (o.equals("solid")) { + setObjectSolid(me.isSelected); + } else if (o.equals("grid")) { + ZF.ZC.setAxis_show(me.isSelected); + if (me.isSelected) { + ZF.ZC.createAxisObjects(); + } else { + ZF.ZC.deleteAxisObjects(); + } + ZF.ZC.repaint(); + ZF.setinfo("grid"); + } else if (o.equals("objecttracker")) { + + ZirkelFrame.ObjectConstructors[ZirkelFrame.NObjectTracker]=new ObjectTracker(); + ZF.settool("objecttracker"); + } else if (o.equals("locus")) { + + ZirkelFrame.ObjectConstructors[ZirkelFrame.NObjectTracker]=new JLocusObjectTracker(); + ZF.settool("objecttracker"); + } else if (o.equals("function")) { + ZF.ZC.createCurve(); + ZF.setinfo("function"); + } else if (o.equals("equationxy")) { + ZF.ZC.createEquationXY(); +// } else if (name.equals("manage_macros")) { +// PaletteManager.MW.ZContent.ShowLeftPanel(2); +// } else if (name.equals("help_panel")) { +// PaletteManager.MW.ZContent.ShowLeftPanel(3); +// } else if (name.equals("newmacro")) { +// PaletteManager.MW.ZContent.ShowMacroPanel(); +// PaletteManager.MW.ZContent.macros.myJML.MacrosTree.JML.controls.createbtn.setSelected(true); +// PaletteManager.MW.ZContent.macros.myJML.MacrosTree.JML.createmacropanel.appeargently(); +// PaletteManager.deselectgeomgroup(); +// } else if (name.equals("history_panel")) { +// PaletteManager.MW.ZContent.ShowLeftPanel(1); +// // } else if (name.equals("properties_panel")){ +// // JGlobals.JPB.showme(me.isSelected); + } else if (o.equals("copy")) { + FileTools.exportGraphicFile(FileTools.PNG, null); + } else if (o.equals("exportpng")) { + FileTools.exportGraphicFile(FileTools.PNG); + } else if (o.equals("exporteps")) { + FileTools.exportGraphicFile(FileTools.EPS); + } else if (o.equals("exportsvg")) { + FileTools.exportGraphicFile(FileTools.SVG); + } else if (o.equals("exportpdf")) { + FileTools.exportGraphicFile(FileTools.PDF); + } else if (o.startsWith("bi_")) { + if (o.equals("bi_function_u")) { + Global.setParameter("options.point.shownames", false); + JZF.getPointLabel().getBetterName(null, true); + } + + MacroTools.runBuiltinMacro("@builtin@/"+o.substring(3)); + } else if (o.equals("back")) { + ZF.ZC.back(); + ZF.settool(o); + } else if (o.equals("undo")) { + ZF.ZC.undo(); + ZF.settool(o); + } else if (o.equals("boundedpoint")) { + + ZF.settool("boundedpoint"); + } else if (o.equals("ctrl_slider")) { + ZF.ZC.setNullTool(); + } else if (o.equals("ctrl_popup")) { + ZF.ZC.setNullTool(); + } else if (o.equals("ctrl_chkbox")) { + ZF.ZC.setNullTool(); + } else if (o.equals("ctrl_button")) { + ZF.ZC.setNullTool(); + } else if (o.equals("ctrl_edit")) { + ZF.ZC.setNullTool(); + } else if (o.equals("ctrl_txtfield")) { + ZF.ZC.setNullTool(); + } else { + ZF.settool(o); + } + + JIconMouseAdapter.setgeomSelectedIcon(); + ZC.pause(false); + ZC.requestFocus(); + + } + + private static boolean isIconWithProperties(final String name) { + final String acceptedIcons=",expression,locus,bi_function_u,text,area,area3D,ray,ray3D,segment,segment3D,"+"line,line3D,point,bi_3Dcoords,parallel,plumb,intersection,inter3D,midpoint,midpoint3D,bi_syma,bi_3Dsymp,bi_3Dproj"+"bi_symc,bi_3Dsymc,bi_trans,bi_3Dtrans,bi_3Dcircle1,bi_3Dcircle2,bi_3Dcircle3pts,bi_3Dplandroite,bi_3Dplanplan,bi_3Dsphererayon,bi_3Dspherepoint,bi_3Dspheredroite,bi_3Dsphereplan,bi_3Dspheresphere,bi_med,bi_biss,vector,vector3D,fixedsegment,circle,"+"circle3,fixedcircle,bi_arc,bi_circ,angle,angle3D,fixedangle,quadric,"+"boundedpoint,tortue"; + return (acceptedIcons.indexOf(","+name+",")!=-1); + } + + public static void setObjectColor(final int i) { + String iconname=PaletteManager.geomSelectedIcon(); + if (isIconWithProperties(iconname)) { + iconname=PaletteManager.IconFamily(iconname); + Global.setParameter("options."+iconname+".pcolor", (Color) null); + Global.setParameter("options."+iconname+".color", i); + PaletteZone_Aspect.getColorPicker().setSelected(false); + PaletteZone_Aspect.getColorPicker().setDefaultColor(); + } else { + ZF.setcolor(i); + } + } + + public static void setObjectColor(final Color c) { + String iconname=PaletteManager.geomSelectedIcon(); + if (isIconWithProperties(iconname)) { + iconname=PaletteManager.IconFamily(iconname); + Global.setParameter("options."+iconname+".pcolor", c); + } + + } + + private static void setObjectColorType(final int i) { + String iconname=PaletteManager.geomSelectedIcon(); + if (isIconWithProperties(iconname)) { + iconname=PaletteManager.IconFamily(iconname); + Global.setParameter("options."+iconname+".colortype", i); + } else { + ZF.setcolortype(i); + } + } + + private static void setObjectShowName(final boolean bool) { + String iconname=PaletteManager.geomSelectedIcon(); + if (isIconWithProperties(iconname)) { + iconname=PaletteManager.IconFamily(iconname); + Global.setParameter("options."+iconname+".shownames", bool); + } else { + ZF.setShowNames(bool); + } + ZF.setinfo("defaults"); + JZF.getPointLabel().getBetterName(null, true); + } + + private static void setObjectShowValue(final boolean bool) { + String iconname=PaletteManager.geomSelectedIcon(); + if (isIconWithProperties(iconname)) { + iconname=PaletteManager.IconFamily(iconname); + Global.setParameter("options."+iconname+".showvalues", bool); + } else { + ZF.ZC.setShowValues(bool); + } + } + + private static void setObjectFilled(final boolean bool) { + String iconname=PaletteManager.geomSelectedIcon(); + if (isIconWithProperties(iconname)) { + iconname=PaletteManager.IconFamily(iconname); + Global.setParameter("options."+iconname+".filled", bool); + } else { + // ZF.ZC.setShowValues(bool); + } + } + + private static void setObjectSolid(final boolean bool) { + String iconname=PaletteManager.geomSelectedIcon(); + if (isIconWithProperties(iconname)) { + iconname=PaletteManager.IconFamily(iconname); + Global.setParameter("options."+iconname+".solid", bool); + } else { + // ZF.ZC.setShowValues(bool); + } + } + + private static void setObjectLarge(final boolean bool) { + String iconname=PaletteManager.geomSelectedIcon(); + if (isIconWithProperties(iconname)) { + iconname=PaletteManager.IconFamily(iconname); + Global.setParameter("options."+iconname+".large", bool); + } else { + ZF.ZC.setLargeFont(bool); + } + + } + + private static void setObjectBold(final boolean bool) { + String iconname=PaletteManager.geomSelectedIcon(); + if (isIconWithProperties(iconname)) { + iconname=PaletteManager.IconFamily(iconname); + Global.setParameter("options."+iconname+".bold", bool); + } else { + ZF.ZC.setBoldFont(bool); + } + } + + private static void setObjectObtuse(final boolean bool) { + String iconname=PaletteManager.geomSelectedIcon(); + if (isIconWithProperties(iconname)) { + iconname=PaletteManager.IconFamily(iconname); + Global.setParameter("options."+iconname+".obtuse", bool); + } else { + ZF.ZC.setObtuse(bool); + } + } +} diff --git a/eric/GUI/palette/JIconMouseAdapter.java b/eric/GUI/palette/JIconMouseAdapter.java new file mode 100644 index 0000000..2124e08 --- /dev/null +++ b/eric/GUI/palette/JIconMouseAdapter.java @@ -0,0 +1,57 @@ +/* + * To change this template, choose Tools | Templates + * and open the template in the editor. + */ +package eric.GUI.palette; + +import eric.GUI.themes; +import eric.JZirkelCanvas; +import java.awt.Point; +import java.awt.event.MouseEvent; +import java.awt.event.MouseMotionListener; +import rene.zirkel.ZirkelCanvas; + +/** + * + * @author erichake + */ +public class JIconMouseAdapter implements MouseMotionListener { + + private static ZirkelCanvas ZC=null; + private static String geomSelectedIcon="point"; + private static String acceptedIcons=",hide,delete,ctrl_slider,ctrl_txtfield,ctrl_popup,ctrl_chkbox,ctrl_button,"; + + public static void setgeomSelectedIcon() { + ZC=JZirkelCanvas.getCurrentZC(); + if (ZC!=null) { + geomSelectedIcon=PaletteManager.geomSelectedIcon(); + if ((acceptedIcons.indexOf(geomSelectedIcon)==-1)||(geomSelectedIcon.equals(""))) { + ZC=null; + } + } + } + + public static void deselect() { + ZC=null; + } + + public static void paintTool() { + if (ZC!=null) { + final Point pt=ZC.getMousePosition(); + try { + ZC.getGraphics().drawImage(ZC.I, 0, 0, ZC); + ZC.getGraphics().drawImage(themes.getPaletteImage(geomSelectedIcon), pt.x+5, pt.y+5, themes.getToolIconSize(), themes.getToolIconSize(), ZC); + + } catch (Exception ex) { + } + } + } + + @Override + public void mouseMoved(MouseEvent e) { + paintTool(); + } + + public void mouseDragged(MouseEvent e) { + } +} diff --git a/eric/GUI/palette/PaletteManager.java b/eric/GUI/palette/PaletteManager.java new file mode 100644 index 0000000..545f54a --- /dev/null +++ b/eric/GUI/palette/PaletteManager.java @@ -0,0 +1,685 @@ +/* + * To change this template, choose Tools | Templates + * and open the template in the editor. + */ +package eric.GUI.palette; + +import eric.GUI.window.LeftPanel; +import eric.GUI.window.MenuBar; +import eric.GUI.window.RightPanel; +import eric.JZirkelCanvas; +import eric.macros.MacroTools; +import eric.restrict.RestrictItems; +import eric.restrict.RestrictPanel; +import java.awt.Color; +import java.awt.Dimension; +import java.util.ArrayList; +import javax.swing.JComponent; +import javax.swing.SwingUtilities; +import rene.gui.Global; +import rene.zirkel.ZirkelCanvas; +import rene.zirkel.construction.Construction; + +/** + * + * @author erichake + */ +public class PaletteManager { + + private static String GEOM_GROUP="geom"; + static String POINT_GROUP="point"; + static String ASPECT1_GROUP="aspect1"; + static String ASPECT2_GROUP="aspect2"; + static String GRID1_GROUP="grid1"; + static String GRID2_GROUP="grid2"; + static String PHOTO_GROUP="photo"; + private static RightPanel MainPanel; + private static JIcon ctrlJSlider, ctrlJPopup, ctrlJCheckBox, ctrlJTextField, + ctrlJButton; + private static ArrayList
"+s+"
");
+ setInviteLabel();
+ }
+ }
+
+ public String getLabelText() {
+ return label;
+ }
+
+ public void setInviteLabel() {
+ inviteLabel.setVisible(label.equals(""));
+ }
+
+ public void implementMouseAdapter() {
+ final ContentPane pane=pipe_tools.getContent();
+ implementMouseAdapter(pane);
+ }
+
+ public void implementMouseAdapter(Container comp) {
+ if (!(comp instanceof JLabel)) {
+ comp.addMouseListener(ma);
+ }
+ for (int i=0; i") + ""); + if (!(item.myimage == null)) { + item.myimage.setIconWidth(28); + item.myimage.setIconHeight(28); + } + this.add(item); + } + + // only for language submenu : + void addI(final String lang, final String country, + final myJMenuItem item) { + final String suffix = (country.equals("")) ? lang : lang + "_" + country; + final String icn = "lg_" + suffix; + final boolean good = Global.isLanguage(lang, country); + if ((good) && (!(icn.equals("")))) { + this.setIcon(new ImageIcon(getClass().getResource( + "/eric/GUI/icons/palette/" + icn + ".png"))); + } + addI("language." + suffix, icn, 0, 0, item); + item.setEnabled(!good); + } + + class mySeparator extends JEricPanel { + + @Override + public void paintComponent(final java.awt.Graphics g) { + super.paintComponent(g); + + final java.awt.Dimension d = this.getSize(); + g.drawImage(themes.getImage("sep.png"), 2, 0, d.width - 4, 12, + this); + } + + mySeparator() { + this.setOpaque(false); + } + } + } + + class mySimpleJMenuItem extends JMenuItem { + + int ID = 0; + + mySimpleJMenuItem(final String name, final int i) { + super(name); + ID = i; + this.setOpaque(true); + this.setFont(new java.awt.Font(Global.GlobalFont, 0, MenuTextSize)); + this.addActionListener(new ActionListener() { + + @Override + public void actionPerformed(final ActionEvent event) { + action(); + } + }); + } + + void action() { + } + } + + public class myJMenuItem extends JMenuItem { + + String ICname; + boolean selected = false; + myImageIcon myimage = null; + + myJMenuItem() { + this.setOpaque(true); + this.setFont(new java.awt.Font(Global.GlobalFont, 0, MenuTextSize)); + this.addActionListener(new ActionListener() { + + @Override + public void actionPerformed(final ActionEvent event) { + ZirkelCanvas ZC = JZirkelCanvas.getCurrentZC(); + if (ZC != null && ZC.getTool() instanceof JSmacroTool) { + ((JSmacroTool) ZC.getTool()).invalidate(ZC); + } + action(); + } + }); + this.setIcon(themes.getIcon("null.png")); + // this.setIconTextGap(0); + } + + myJMenuItem(final String itemname, final String iconname) { + this(); + setNames(itemname, iconname); + } + + @Override + public void setSelected(final boolean sel) { + selected = sel; + final int fontstyle = (selected) ? 1 : 0; + this.setFont(new java.awt.Font(Global.GlobalFont, fontstyle, MenuTextSize)); + } + + @Override + public boolean isSelected() { + return selected; + } + + void setNames(final String itemname, final String iconname) { + ICname = iconname; + setText(itemname); + setIcn(iconname); + // setPreferredSize(new Dimension(getPreferredSize().width+50,22)); + } + + void setIcn(String iconname) { + if (iconname.equals("")) { + iconname = "null"; + } + URL myurl = getClass().getResource( + "/eric/GUI/icons/palette/" + iconname + ".png"); + if (myurl == null) { + myurl = getClass().getResource( + "/eric/GUI/icons/palette/" + iconname + ".gif"); + } + if (myurl == null) { + myurl = getClass().getResource( + "/eric/GUI/icons/jswindow/" + iconname + ".png"); + } + myimage = new myImageIcon(myurl, this); + + setIcon(myimage); + } + + void action() { + PaletteManager.ClicOn(ICname); + } + } + + class myImageIcon extends ImageIcon { + + int IcnHeight = 22; + int IcnWidth = 24; + int IcnMargin = 6; + myJMenuItem JM; + + @Override + public void paintIcon(final Component c, final Graphics g, final int x, + final int y) { + final Graphics2D g2 = (Graphics2D) g; + + g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, + RenderingHints.VALUE_ANTIALIAS_ON); + g2.setRenderingHint(RenderingHints.KEY_TEXT_ANTIALIASING, + RenderingHints.VALUE_TEXT_ANTIALIAS_ON); + g2.setRenderingHint(RenderingHints.KEY_RENDERING, + RenderingHints.VALUE_RENDER_QUALITY); + g2.setRenderingHint(RenderingHints.KEY_INTERPOLATION, + RenderingHints.VALUE_INTERPOLATION_BICUBIC); + g2.setRenderingHint(RenderingHints.KEY_STROKE_CONTROL, + RenderingHints.VALUE_STROKE_PURE); + + if ((!(JM == null)) && (JM.isSelected())) { + final ImageIcon mysel = new ImageIcon(getClass().getResource( + "/eric/GUI/icons/palette/selmark.png")); + g2.drawImage(mysel.getImage(), 3, 0, 8, IcnWidth, JM); + } + g2.drawImage(getImage(), IcnMargin, 0, IcnWidth, IcnWidth, JM); + } + + public void setIcnMargin(final int i) { + IcnMargin = i; + } + + public void setIconHeight(final int i) { + IcnHeight = i; + } + + public void setIconWidth(final int i) { + IcnWidth = i; + } + + @Override + public int getIconHeight() { + return IcnHeight; + } + + @Override + public int getIconWidth() { + return IcnWidth; + } + + myImageIcon(final URL myurl, final myJMenuItem jm) { + super(myurl); + JM = jm; + } + } + + private String Loc(final String s) { + String loc = Global.Loc("menu." + s); + if (loc == null) { + loc = Global.Loc(s); + } + if (loc == null) { + loc = s; + } + return loc; + } + + public void InitMacrosMenu() { + if (MacrosMenu != null) { + MacrosMenu.removeAll(); + MacrosMenu.addI("palette.info.newmacro", "newmacro", 0, 0, new myJMenuItem() { + + @Override + public void action() { + new CreateMacroDialog(JZirkelCanvas.getNewMacroPanel()); + JZirkelCanvas.ActualiseMacroPanel(); + } + }); + MacrosMenu.addSep(); + } + } + + public static void s_InitMacrosMenu() { + if (me != null) { + me.InitMacrosMenu(); + } + } + + public static void addMacrosMenu(JMenuItem item) { + if ((me != null) && (me.MacrosMenu != null)) { + me.MacrosMenu.add(item); + } + } + + public static void s_InitJSMenu() { + if (me != null) { + me.InitJSMenu(); + } + } + + public void InitJSMenu() { + JSMenu.removeAll(); + final ZirkelCanvas ZC = JZirkelCanvas.getCurrentZC(); + if (ZC == null) { + return; + } + final ScriptPanel panel = ZC.getScriptsPanel(); + if (panel == null) { + return; + } + + myJMenuItem item = new myJMenuItem() { + + @Override + void action() { + panel.onlyRemoveScriptsManagerPanel(); + panel.Restore(); + } + }; + JSMenu.addI("JSmenu.cancel", "", 0, 0, item); + item.setEnabled(panel.isBackup()); + item.setIcon(themes.resizeExistingIcon("/eric/GUI/icons/jswindow/restore.png", 16, 16)); + + JSMenu.addSep(); + + JSMenu.addI("js.newscriptinconstruction", "", 0, 0, item = new myJMenuItem() { + + @Override + void action() { + panel.newScript(); + } + }); + + + JSMenu.addSep(); + + for (final ScriptItem myscriptitem : panel.getScripts()) { + item = new myJMenuItem() { + + @Override + public void action() { + panel.onlyRemoveScriptsManagerPanel(); + myscriptitem.runScript(); + } + }; + item.setEnabled(!myscriptitem.isRunning()); + JSMenu.addI(myscriptitem.getScriptName(), "", 0, 0, item); + //item.myimage.setIconWidth(20); + //item.myimage.setIconHeight(20); + item.setIcon(themes.resizeExistingIcon("/eric/GUI/icons/jswindow/run.png", 16, 21)); + } + + + if (panel.getScripts().size() > 0) { + JSMenu.addSep(); + } + + JSMenu.addI("JSmenu.killall", "", 0, 0, item = new myJMenuItem() { + + @Override + void action() { + ZC.killAllScripts(); + } + }); + item.setEnabled(ZC.isThereAnyScriptRunning()); + + JSMenu.addI("JSmenu.stopall", "", 0, 0, item = new myJMenuItem() { + + @Override + void action() { + //panel.stopAllScripts(); + ZC.stopAllScripts(); + } + }); + item.setEnabled(ZC.isThereAnyScriptRunning() && !ZC.isThereAnyStoppedScripts()); + + JSMenu.addI("JSmenu.restartall", "", 0, 0, item = new myJMenuItem() { + + @Override + void action() { + //panel.restartAllScripts(); + ZC.restartAllScripts(); + } + }); + item.setEnabled(ZC.isThereAnyStoppedScripts()); + JSMenu.addSep(); + + // add Modify Menu : + myJMenu modifypopup = new myJMenu(Global.Loc("JSmenu.modify"), true); + for (final ScriptItem scpitem : panel.getScripts()) { + modifypopup.addI(scpitem.getScriptName(), "", 0, 0, item = new myJMenuItem() { + + @Override + void action() { + scpitem.openEmbeddedScript(); + } + }); + } + modifypopup.setEnabled(panel.getScripts().size() > 0); + JSMenu.add(modifypopup); + + // add Delete Menu : + myJMenu deletepopup = new myJMenu(Global.Loc("JSmenu.delete"), true); + for (final ScriptItem scpitem : panel.getScripts()) { + deletepopup.addI(scpitem.getScriptName(), "", 0, 0, item = new myJMenuItem() { + + @Override + void action() { + panel.removeScript(scpitem); + } + }); + } + deletepopup.setEnabled(panel.getScripts().size() > 0); + JSMenu.add(deletepopup); + + + JSMenu.addI("JSmenu.ScriptsManager", "", 0, 0, item = new myJMenuItem() { + + @Override + void action() { + panel.addScriptsManagerPanel(); + } + }); + item.setEnabled(panel.getScripts().size() > 0); + } + + public static void initToggleItems() { + if (me != null) { + me.commentitem.setSelected(Global.getParameter("comment", false)); + me.leftpanelitem.setSelected(LeftPanel.isPanelVisible()); + me.paletteitem.setSelected(RightPanel.isPanelVisible()); + } + } + + public void InitObjectsMenu() { + ObjectsMenu.removeAll(); + final myJMenu m1 = new myJMenu(Loc("objects.points"), 0); + m1.addI("point", new myJMenuItem()); + m1.addI("intersection", new myJMenuItem()); + m1.addI("midpoint", new myJMenuItem()); + m1.addI("bi_syma", new myJMenuItem()); + m1.addI("bi_symc", new myJMenuItem()); + m1.addI("bi_trans", new myJMenuItem()); + ObjectsMenu.add(m1); + final myJMenu m2 = new myJMenu(Loc("objects.lines"), 0); + m2.addI("line", new myJMenuItem()); + m2.addI("ray", new myJMenuItem()); + m2.addI("parallel", new myJMenuItem()); + m2.addI("plumb", new myJMenuItem()); + m2.addI("bi_med", new myJMenuItem()); + m2.addI("bi_biss", new myJMenuItem()); + ObjectsMenu.add(m2); + final myJMenu m3 = new myJMenu(Loc("objects.segments"), 0); + m3.addI("segment", new myJMenuItem()); + m3.addI("fixedsegment", new myJMenuItem()); + m3.addI("vector", new myJMenuItem()); + m3.addI("area", new myJMenuItem()); + ObjectsMenu.add(m3); + final myJMenu m4 = new myJMenu(Loc("objects.angles"), 0); + m4.addI("angle", new myJMenuItem()); + m4.addI("fixedangle", new myJMenuItem()); + ObjectsMenu.add(m4); + final myJMenu m5 = new myJMenu(Loc("objects.circles"), 0); + m5.addI("circle", new myJMenuItem()); + m5.addI("fixedcircle", new myJMenuItem()); + m5.addI("circle3", new myJMenuItem()); + m5.addI("bi_circ", new myJMenuItem()); + m5.addI("bi_arc", new myJMenuItem()); + m5.addI("quadric", new myJMenuItem()); + ObjectsMenu.add(m5); + final myJMenu m7 = new myJMenu(Loc("objects.functions"), 0); + m7.addI("text", new myJMenuItem()); + m7.addI("expression", new myJMenuItem()); + m7.addI("bi_function_u", new myJMenuItem()); + m7.addI("function", new myJMenuItem()); + m7.addI("equationxy", new myJMenuItem()); + ObjectsMenu.add(m7); + final myJMenu m6 = new myJMenu(Loc("objects.tracks"), 0); + m6.addI("objecttracker", new myJMenuItem()); + m6.addI("tracker", new myJMenuItem()); + m6.addI("locus", new myJMenuItem()); + ObjectsMenu.add(m6); + + } + + private void fixsize(final JComponent cp, final int w, final int h) { + final Dimension d = new Dimension(w, h); + cp.setMaximumSize(d); + cp.setMinimumSize(d); + cp.setPreferredSize(d); + cp.setSize(d); + } + + private JEricPanel margintop(final int h) { + final JEricPanel mypan = new JEricPanel(); + fixsize(mypan, 1, h); + mypan.setOpaque(false); + mypan.setFocusable(false); + return mypan; + } + + private void showrestrictedmessage() { + if (Global.getParameter("showrestrictmessage", true)) { + final JEricPanel mypan = new JEricPanel(); + mypan.setLayout(new BoxLayout(mypan, BoxLayout.Y_AXIS)); + final JLabel mylabel = new JLabel(Global.Loc("menu.display.restrictmessage")); + mylabel.setFont(new Font("System", 0, 12)); + final JCheckBox myjcb = new JCheckBox(Global.Loc("menu.display.restrictmessage.dontdisplay")); + mypan.add(mylabel); + mypan.add(margintop(10)); + mypan.add(myjcb); + JOptionPane.showMessageDialog(null, mypan, "", + JOptionPane.PLAIN_MESSAGE, null); + Global.setParameter("showrestrictmessage", !myjcb.isSelected()); + } + } + + public void init() { + myJMenu menu; + menubar.removeAll(); + this.removeAll(); + final int ctrlkey = (OS.isMac()) ? InputEvent.META_DOWN_MASK + : InputEvent.CTRL_DOWN_MASK; + + menubar.setOpaque(false); + menubar.setBorder(BorderFactory.createEmptyBorder()); + menubar.setAlignmentY(0.5F); + + JPopupMenu.setDefaultLightWeightPopupEnabled(false); + + /** + * ************************** + * FILE MENU + *************************** + */ + menu = new myJMenu(Loc("file")); + + menu.addI("file.new", "new", KeyEvent.VK_N, ctrlkey, new myJMenuItem()); + menu.addI("file.new3D", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + FileTools.New3DWindow(); + } + }); + menu.addI("file.newDP", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + FileTools.NewDPWindow(); + } + }); + + + menu.addSep(); + menu.addI("file.load", "load", KeyEvent.VK_O, ctrlkey, + new myJMenuItem()); + menu.addI("file.save", "save", KeyEvent.VK_S, ctrlkey, + new myJMenuItem()); + menu.addI("tab.popup.savefileonly", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + FileTools.saveFileAs(); + } + }); + menu.addI("workbook.saveas", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + FileTools.saveWorkBookAs(); + } + }); + + menu.addSep(); + + + menu.addI("export.workbook", "", KeyEvent.VK_E, ctrlkey, new myJMenuItem() { + + @Override + void action() { + FileTools.HTMLWorkBookExport(); + FileTools.SaveJarAndLaunchBrowser(); + } + }); + + menu.addI("export.embedworkbook", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + FileTools.HTMLWorkBookExtExport(); + } + }); + + menu.addSep(); + + menu.addI("file.exportpng", "exportpng", 0, 0, new myJMenuItem()); + menu.addI("file.exporteps", "exporteps", 0, 0, new myJMenuItem()); + menu.addI("file.exportsvg", "exportsvg", 0, 0, new myJMenuItem() { + + @Override + void action() { + FileTools.exportGraphicFile(FileTools.SVG); + } + }); + menu.addI("file.exportpdf", "exportpdf", 0, 0, new myJMenuItem() { + + @Override + void action() { + FileTools.exportGraphicFile(FileTools.PDF); + } + }); + menu.addSep(); + menu.addI("file.close", "", KeyEvent.VK_W, ctrlkey, new myJMenuItem() { + + @Override + void action() { + pipe_tools.closeCurrent(); + } + }); + menu.addSep(); + menu.addI("file.quit", "", KeyEvent.VK_Q, ctrlkey, new myJMenuItem() { + + @Override + void action() { + pipe_tools.quitAll(); + } + }); + + menubar.add(menu); + /** + * ************************** + * EDIT MENU + *************************** + */ + menu = new myJMenu(Loc("edit")); + menu.addI("edit.copy", "copy", KeyEvent.VK_C, ctrlkey, + new myJMenuItem()); + + myJMenu submenu = new myJMenu(Loc("edit.copyto"), true); + + + submenu.addI("PDF", "", 0, 0, new myJMenuItem() { + + @Override + public void action() { + FileTools.exportGraphicFile(FileTools.PDF, null); + } + }); + submenu.addI("SVG", "", 0, 0, new myJMenuItem() { + + @Override + public void action() { + FileTools.exportGraphicFile(FileTools.SVG, null); + } + }); + submenu.addI("EPS", "", 0, 0, new myJMenuItem() { + + @Override + public void action() { + FileTools.exportGraphicFile(FileTools.EPS, null); + } + }); + menu.add(submenu); + + menu.addI("edit.copyapplettag", "", 0, 0, + new myJMenuItem(){ + public void action() { + FileTools.copyAppletTag(); + } + }); + + menu.addSep(); + menu.addI("edit.move", "move", 0, 0, new myJMenuItem()); + menu.addI("edit.rename", "rename", 0, 0, new myJMenuItem() { + + @Override + public void action() { + ZirkelFrame ZF = JZirkelCanvas.getCurrentZF(); + if (ZF != null) { + ZF.settool("rename"); + } + } + }); + menu.addI("edit.edit", "edit", 0, 0, new myJMenuItem()); + menu.addI("edit.zoom", "zoom", 0, 0, new myJMenuItem() { + + @Override + public void action() { + ZirkelFrame ZF = JZirkelCanvas.getCurrentZF(); + if (ZF != null) { + ZF.settool("zoom"); + } + } + }); + menu.addI("edit.hide", "hide", 0, 0, new myJMenuItem()); + menu.addI("edit.delete", "delete", 0, 0, new myJMenuItem()); + menu.addSep(); + menu.addI("edit.deactivatealltracks", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + ZirkelCanvas ZC = JZirkelCanvas.getCurrentZC(); + ZC.UniversalTrack.clearTrackImage(); + ZC.UniversalTrack.clearTrackObjects(); + ZC.repaint(); + } + }); + menu.addI("edit.deletealltracks", "", KeyEvent.VK_T, ctrlkey, new myJMenuItem() { + + @Override + void action() { + ZirkelCanvas ZC = JZirkelCanvas.getCurrentZC(); + ZC.UniversalTrack.clearTrackImage(); + ZC.repaint(); + } + }); + menu.addSep(); + menu.addI("edit.deleteall", "", KeyEvent.VK_DELETE, 0, new myJMenuItem() { + + @Override + void action() { + ZirkelFrame ZF = JZirkelCanvas.getCurrentZF(); + if (ZF.ZC.changed()) { + final Question q = new Question(pipe_tools.getFrame(), Global.Loc("savequestion.qsave"), Global.Loc("savequestion.title"), true); + q.center(null); + q.setVisible(true); + if (q.isAborted()) { + return; + } + if (q.yes()) { + FileTools.saveFile(); + } + } + ZF.clear(false); + final ScriptPanel panel = JZirkelCanvas.getCurrentZC().getScriptsPanel(); + panel.removeScript(Global.Loc("aerialview")); + panel.removeScript(Global.Loc("frontview")); + panel.removeScript(Global.Loc("rightview")); + panel.removeScript(Global.Loc("backview")); + ZF.Filename = ""; + } + }); + menubar.add(menu); + + /** + * ************************** + * OBJECTS MENU + *************************** + */ + menubar.add(ObjectsMenu); + + /** + * ************************** + * DISPLAY MENU + *************************** + */ + menu = new myJMenu(Loc("display")); + + menu.addI("display.restrictedenvironment", "", KeyEvent.VK_R, ctrlkey, new myJMenuItem() { + + @Override + void action() { + pipe_tools.showRestrictedEnvironmentManager(); + } + }); + menu.addSep(); + hiddenitem = new myJMenuItem(); + menu.addI("display.hidden", "hidden", 0, 0, false, hiddenitem); + griditem = new myJMenuItem(); + menu.addI("display.grid", "grid", 0, 0, false, griditem); + menu.addSep(); + menu.addI("display.smartboard", "", 0, 0, Global.getParameter( + "smartboard", false), new myJMenuItem() { + + @Override + void action() { + setSelected(!isSelected()); + Global.setParameter("smartboard", isSelected()); + } + }); + menu.addSep(); + + menu.addI("display.leftpanel", "", 0, 0, LeftPanel.isPanelVisible(), leftpanelitem = new myJMenuItem() { + + @Override + void action() { + Open_left_panel_btn.toggle(); + } + }); + menu.addI("display.comment", "", 0, 0, Global.getParameter( + "comment", false), commentitem = new myJMenuItem() { + + @Override + void action() { + Open_middle_panel_btn.toggle(); + } + }); + menu.addI("display.palette", "", 0, 0, RightPanel.isPanelVisible(), paletteitem = new myJMenuItem() { + + @Override + void action() { + Open_right_panel_btn.toggle(); + } + }); + menu.addSep(); + menu.addI("display.properties_panel", "properties_panel", + KeyEvent.VK_P, ctrlkey, false, new myJMenuItem() { + + @Override + void action() { + JPropertiesBar.ShowHideBar(); + } + }); + menu.addSep(); + largeitem = new myJMenuItem() { + + @Override + void action() { + if (!isSelected()) { + themes.setPaletteIconWidth(32); + setSelected(true); + mediumitem.setSelected(false); + smallitem.setSelected(false); + pipe_tools.getContent().rebuiltRightPanel(); + } + } + }; + menu.addI("display.large", "", 0, 0, false, largeitem); + + mediumitem = new myJMenuItem() { + + @Override + void action() { + if (!isSelected()) { + themes.setPaletteIconWidth(28); + setSelected(true); + largeitem.setSelected(false); + smallitem.setSelected(false); + pipe_tools.getContent().rebuiltRightPanel(); + } + } + }; + menu.addI("display.medium", "", 0, 0, false, mediumitem); + + smallitem = new myJMenuItem() { + + @Override + void action() { + if (!isSelected()) { + themes.setPaletteIconWidth(24); + setSelected(true); + mediumitem.setSelected(false); + largeitem.setSelected(false); + pipe_tools.getContent().rebuiltRightPanel(); + } + } + }; + menu.addI("display.small", "", 0, 0, false, smallitem); + + switch (Global.getParameter("options.iconsize", 1)) { + case 0: + largeitem.setSelected(true); + break; + case 1: + mediumitem.setSelected(true); + break; + case 2: + smallitem.setSelected(true); + break; + } + + menu.addSep(); + + submenu = new myJMenu(Loc("language"), true); + + submenu.addI("zh", "TW", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("zh", "TW"); + } + }); + submenu.addI("ar", "TN", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("ar", "TN"); + } + }); + submenu.addI("pt", "BR", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("pt", "BR"); + } + }); + submenu.addI("de", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("de", ""); + } + }); + submenu.addI("en", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("en", ""); + } + }); + submenu.addI("es", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("es", ""); + } + }); + submenu.addI("fr", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("fr", ""); + } + }); + submenu.addI("gl", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("gl", ""); + } + }); + submenu.addI("it", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("it", ""); + } + }); + submenu.addI("nl", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("nl", ""); + } + }); + submenu.addI("no", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("no", ""); + } + }); + submenu.addI("pl", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("pl", ""); + } + }); + submenu.addI("pt", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("pt", ""); + } + }); + submenu.addI("ru", "RU", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("ru", "RU"); + } + }); + submenu.addI("sl", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("sl", ""); + } + }); + submenu.addI("sv", "", new myJMenuItem() { + + @Override + void action() { + Global.setLanguage("sv", ""); + } + }); + + menu.add(submenu); + + menubar.add(menu); + + /** + * ************************** + * MACROS MENU : Initialised by + *************************** + */ + menubar.add(MacrosMenu); + + /** + * ************************** + * JAVASCRIPT MENU + *************************** + */ + InitJSMenu(); + menubar.add(JSMenu); + + /** + * ************************** + * SPECIAL MENU + *************************** + */ + menu = new myJMenu(Loc("assigment")); + + + definejobitem = new myJMenuItem() { + + @Override + void action() { + pipe_tools.showExerciseManager(); + } + }; + menu.addI("special.definejob", "", KeyEvent.VK_J, ctrlkey, false, definejobitem); + + menubar.add(menu); + + /** + * ************************** + * NETWORK MENU + *************************** + */ + menu = new myJMenu(Loc("network")); + menu.addI(Global.Loc("network.menu.connect"), "", 0, 0, new myJMenuItem(){ + + @Override + void action(){ + cnt = JZirkelCanvas.getCurrentZC().get_cnt(); + if(cnt==null) { //then display the ConnectionControlPanel + pm.Client.ConnectionControlPanel client = new pm.Client.ConnectionControlPanel(); + JZirkelCanvas.getCurrentZC().add(client); + JZirkelCanvas.getCurrentZC().repaint(); + client.init(); + PaletteManager.deselectgeomgroup(); + JZirkelCanvas.getCurrentZC().showStatus(""); + } else { //cut the connection + cnt.doClose(); + } + } + }); + menu.addI(Global.Loc("network.menu.launch"), "", 0, 0, new myJMenuItem(){ + + @Override + void action(){ + if(scp==null){ + scp = new pm.Server.ServerControlPanel(); + JZirkelCanvas.getCurrentZC().add(scp); + JZirkelCanvas.getCurrentZC().repaint(); + scp.init(); + PaletteManager.deselectgeomgroup(); + JZirkelCanvas.getCurrentZC().showStatus(""); + } else { + scp.close_and_kill_server(); + JZirkelCanvas.getCurrentZC().remove(scp); + JZirkelCanvas.getCurrentZC().repaint(); + PaletteManager.setSelected_with_clic("move", true); + scp = null; + } + } + }); + + menubar.add(menu); + + /** + * ************************** + * HELP MENU + *************************** + */ + menu = new myJMenu(Loc("help")); + menu.addI("help.about", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + JLogoWindow.ShowLogoWindow(true); +// new JAboutDialog(JZirkelCanvas.getCurrentJZF()); + } + }); + menu.addI("help.licence", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + new JLicence(JZirkelCanvas.getCurrentJZF()); + } + }); + menu.addI("help.info", "help_panel", 0, 0, new myJMenuItem() { + + @Override + void action() { + Open_left_panel_btn.open(); + LeftPanel.selectHelp(); + } + }); + menu.addSep(); + menu.addI("help.url0", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + JBrowserLauncher.openURL("http://carmetal.org/index.php/fr/"); + } + }); + menu.addI("help.url1", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + JBrowserLauncher.openURL("http://carmetal.org/index.php/fr/tutoriels/carzine"); + } + }); + menu.addI("help.url2", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + JBrowserLauncher.openURL("http://car.rene-grothmann.de/doc_en/"); + } + }); + menu.addSep(); + menu.addI("help.url3", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + JBrowserLauncher.openURL("http://db-maths.nuxit.net/CaRMetal/index_translate.html"); + } + }); + + menu.addSep(); + + menu.addI("help.opendefaultfolder", "", 0, 0, new myJMenuItem() { + + @Override + void action() { + Global.openHomeDirectoryInDesktop(); + } + }); + menubar.add(menu); + this.add(menubar); + this.validate(); + this.repaint(); + } + + public static pm.Server.ServerControlPanel get_scp(){ + return scp; + } +} diff --git a/eric/JGlobalPreferences.java b/eric/JGlobalPreferences.java new file mode 100644 index 0000000..72bacc2 --- /dev/null +++ b/eric/JGlobalPreferences.java @@ -0,0 +1,112 @@ +/* + +Copyright 2006 Eric Hakenholz + +This file is part of C.a.R. software. + + C.a.R. is a free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, version 3 of the License. + + C.a.R. is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see
"); + TXT += "
"; + } + newline = true; + } else { + newline = false; + if (s.startsWith(" ")) { + TXT += "
"; + // T.append("
"); + } + // T.append(s+" "); + TXT += s + " "; + } + } else if (pair != null && !s.startsWith(".")) { + pair[1] = s; + Other.addElement(pair); + lastpair = pair; + pair = null; + if (Search != null && (s.indexOf(Search) >= 0 || s.indexOf(Search1) >= 0)) { + if (!SearchResult.equals(lastpair[0])) { + SearchResults.addElement(lastpair); + SearchResult = lastpair[0]; + if (!FoundHeader) { + FoundTopic = lastpair[0]; + } + FoundHeader = true; + } + } + } + continue newline; + } + } + // T.append("
"); + TXT += "
"; + in.close(); + } catch (final Exception e) { + if (!lang.equals("")) { + lang = ""; + continue read; + } else { + // V.appendLine( + // Global.name("help.error","Could not find the help file!")); + // T.append(Global.name("help.error", + // "Could not find the help file!")); + TXT += Global.name("help.error", "Could not find the help file!"); + } + } + if (FoundTopic != null && FirstRun) { + Subject = FoundTopic; + SearchResults = new Vector(); + SearchResult = ""; + pair = null; + lastpair = null; + Found = false; + TXT = ""; + // T.setText(""); + // V.setText(""); + FirstRun = false; + continue read; + } else { + break read; + } + } + + // if (!Found) + // V.appendLine(Global.name("info.notfound","Topic not found!")); + if (!Found) { + // T.append(Global.name("info.notfound", "Topic not found!")); + TXT += Global.name("info.notfound", "Topic not found!"); + } + if (Search != null) { + if (SearchResults.size() > 0) { + TSearch.L.addI(Global.name("info.searchresults")); + } else { + TSearch.L.addI(Global.name("info.noresults")); + } + } else { + TSearch.L.addI(Global.name("info.select")); + } + if (Search == null && Related != null) { + final Enumeration e = Related.elements(); + while (e.hasMoreElements()) { + final String topic = (String) e.nextElement(); + final Enumeration ev = Other.elements(); + while (ev.hasMoreElements()) { + final String s[] = (String[]) ev.nextElement(); + if (s[0].equals(topic)) { + TSearch.L.addI(s[1]); + break; + } + } + } + } + + if (Search != null) { + final Enumeration e = SearchResults.elements(); + while (e.hasMoreElements()) { + final String s[] = (String[]) e.nextElement(); + TSearch.L.addI(s[1]); + } + } + T.setContent(TXT); + if (WithTextFocus) { + focusTxt(); + } + T.setCaretPosition(0); + History.addElement(Subject); + TSearch.setCount(); + if (vis) { + TSearch.showpopup(); + } + } + + public String clear(String s) { + s = s.replace('ß', ' '); + s = s.replaceAll("__", ""); + return s; + } +} + +class MyComboBoxUI extends MetalComboBoxUI { + + public static ComponentUI createUI(final JComponent c) { + return new MyComboBoxUI(); + } +} + +class MyJTextSearch extends JEricPanel { + + private static final long serialVersionUID = 1L; + JLabel cntLBL = new JLabel(); + JTextField JTF; + JHelpPanel JP; + JButton popBTN, clearBTN; + JEricPanel txtpanel; + JEricPanel wholepanel; + MyJPopupMenu L; + String old = ""; + + @Override + public void paintComponent(final java.awt.Graphics g) { + super.paintComponent(g); + final ImageIcon OffImage = new ImageIcon(getClass().getResource("/eric/GUI/icons/themes/common/helpsearchback.png")); + final java.awt.Dimension d = this.getSize(); + g.drawImage(OffImage.getImage(), 0, 0, d.width, d.height, this); + } + + public MyJTextSearch(final JHelpPanel jp) { + super(); + setLayout(new javax.swing.BoxLayout(this, javax.swing.BoxLayout.Y_AXIS)); + setOpaque(false); + JP = jp; + + L = new MyJPopupMenu(JP); + + txtpanel = new JEricPanel(); + txtpanel.setLayout(new javax.swing.BoxLayout(txtpanel, javax.swing.BoxLayout.X_AXIS)); + txtpanel.setBorder(BorderFactory.createLineBorder(new Color(150, 150, 150), 1)); + txtpanel.setOpaque(true); + txtpanel.setBackground(Color.WHITE); + wholepanel = new JEricPanel(); + wholepanel.setLayout(new javax.swing.BoxLayout(wholepanel, javax.swing.BoxLayout.X_AXIS)); + wholepanel.setBorder(BorderFactory.createEmptyBorder()); + wholepanel.setOpaque(false); + cntLBL.setOpaque(false); + cntLBL.setText(""); + cntLBL.setFont(new Font("System", 0, 9)); + cntLBL.setHorizontalAlignment(SwingConstants.CENTER); + cntLBL.setVerticalAlignment(SwingConstants.CENTER); + JHelpPanel.fixsize(cntLBL, 20, 18); + + JTF = new JTextField(); + JTF.setFont(new Font("System", 0, 11)); + JTF.setForeground(new Color(50, 50, 50)); + JTF.setBackground(new Color(255, 255, 255)); + JTF.setBorder(BorderFactory.createEmptyBorder()); + JTF.setMargin(new java.awt.Insets(0, 0, 1, 0)); + JTF.addKeyListener(new KeyAdapter() { + + @Override + public void keyReleased(final KeyEvent e) { + if (JTF.getText().equals("")) { + clearBTN.setVisible(false); + } else { + clearBTN.setVisible(true); + } + if ((e.getKeyCode() == KeyEvent.VK_ENTER) || (e.getKeyCode() == KeyEvent.VK_UP)) { + hidepopup(); + } else if (e.getKeyCode() == KeyEvent.VK_DOWN) { + showpopup(); + } else { + doSearch(JTF.getText()); + } + } + }); + // JTF.setFocusable(true); + JTF.addFocusListener(new FocusAdapter() { + + @Override + public void focusGained(final FocusEvent e) { + JTF.selectAll(); + } + }); + + final ImageIcon carimg = new ImageIcon(getClass().getResource("/eric/GUI/icons/themes/common/helpsearch1.gif")); + popBTN = new JButton(carimg); + popBTN.setBorder(BorderFactory.createEmptyBorder()); + popBTN.setOpaque(true); + popBTN.setContentAreaFilled(true); + popBTN.setFocusable(false); + popBTN.addMouseListener(new MouseAdapter() { + + @Override + public void mousePressed(final MouseEvent e) { + showpopup(); + } + }); + + final ImageIcon carimg2 = new ImageIcon(getClass().getResource("/eric/GUI/icons/themes/common/helpsearch2.png")); + final JButton backBTN = new JButton(carimg2); + backBTN.setBorder(BorderFactory.createEmptyBorder()); + backBTN.setOpaque(false); + backBTN.setContentAreaFilled(false); + backBTN.setFocusable(false); + backBTN.addMouseListener(new MouseAdapter() { + + @Override + public void mousePressed(final MouseEvent e) { + final int n = JP.History.size(); + if (n < 2) { + return; + } + JP.History.removeElementAt(n - 1); + JHelpPanel.Subject = (String) JP.History.elementAt(n - 2); + JP.History.removeElementAt(n - 2); + JP.fill(true); + } + }); + + final ImageIcon carimg3 = new ImageIcon(getClass().getResource("/eric/GUI/icons/themes/common/helpsearch3.gif")); + clearBTN = new JButton(carimg3); + clearBTN.setBorder(BorderFactory.createEmptyBorder()); + clearBTN.setOpaque(true); + clearBTN.setContentAreaFilled(true); + clearBTN.setFocusable(false); + clearBTN.addMouseListener(new MouseAdapter() { + @Override + public void mousePressed(final MouseEvent e) { + JTF.setText(""); + clearBTN.setVisible(false); + doSearch(""); + } + }); + clearBTN.setVisible(false); + JHelpPanel.fixsize(popBTN, carimg.getIconWidth(), carimg.getIconHeight()); + JHelpPanel.fixsize(clearBTN, carimg3.getIconWidth(), carimg3.getIconHeight()); + txtpanel.add(cntLBL); + txtpanel.add(popBTN); + txtpanel.add(JHelpPanel.margin(3)); + txtpanel.add(JTF); + txtpanel.add(clearBTN); + wholepanel.add(JHelpPanel.margin(5)); + wholepanel.add(txtpanel); + wholepanel.add(JHelpPanel.margin(3)); + wholepanel.add(backBTN); + this.add(JHelpPanel.vmargin(3)); + this.add(wholepanel); + } + + void showpopup() { + if (L.Count > 1) { + L.show(popBTN, 10, 20); + } + } + + void hidepopup() { + L.setVisible(false); + } + + boolean ispopupvisible() { + return L.isVisible(); + } + + void doSearch(final String s) { + if (s.equals("")) { + JP.Search = null; + } else { + JP.Search = s; + } + JHelpPanel.Subject = "start"; + JP.fill(true); + JP.Search = null; + } + + void setCount() { + if (L.Count > 1) { + cntLBL.setText("(" + (L.Count - 1) + ")"); + } else { + cntLBL.setText(""); + } + } +} + +class MyJPopupMenuItem extends JMenuItem { + + private static final long serialVersionUID = 1L; + String STR; + JHelpPanel JP; + + public MyJPopupMenuItem(final JHelpPanel jp, final String s) { + super(s.replaceAll("
", ", ")); + STR = s; + JP = jp; + + setFont(new Font("System", 0, 11)); + addMouseListener(new MouseAdapter() { + + @Override + public void mousePressed(final MouseEvent arg0) { + JP.TSearch.L.setVisible(false); + JP.TSearch.JTF.setText(""); + JP.TSearch.clearBTN.setVisible(false); + final String s = STR; + final Enumeration ev = JP.Other.elements(); + while (ev.hasMoreElements()) { + final String p[] = (String[]) ev.nextElement(); + if (p[1].equals(s)) { + JHelpPanel.Subject = p[0]; + JP.fill(true); + break; + } + } + } + }); + } +} + +class MyJPopupMenu extends JPopupMenu { + + private static final long serialVersionUID = 1L; + int Count = 0; + JHelpPanel JP; + + public MyJPopupMenu(final JHelpPanel jp) { + super(); + JP = jp; + setFont(new Font("System", 0, 11)); + setFocusable(false); + } + + public void addI(final String s) { + Count++; + add(new MyJPopupMenuItem(JP, s)); + } +} + +class MyJTextPane extends JEditorPane implements HyperlinkListener { + + private static final long serialVersionUID = 1L; + String content; + HTMLEditorKit editorkit; + HTMLDocument doc; + JHelpPanel JP; + + public MyJTextPane(final JHelpPanel jp) { + super(); + JP = jp; + this.setContentType("text/html;"); + editorkit = (HTMLEditorKit) getEditorKit(); + doc = (HTMLDocument) getDocument(); + final StyleSheet myStyleSheet = new StyleSheet(); + myStyleSheet.addRule("body {color: #333333;font-family: Verdana, Arial, Helvetica, sans-serif;" + + "text-align: justify;font-size: 10px;background-color: #F1F3F9;}"); + myStyleSheet.addRule("ul {text-align: left;list-style-type: disc;padding-left: 15px;list-style-position: outside;}"); + myStyleSheet.addRule(".pfooter {text-align: center;font-size: 10px;padding-bottom: 5px;" + + "padding-top: 5px;background-color: #eaedf3;}"); + myStyleSheet.addRule(".pfootertitle {font-weight: bold;text-align: center;font-size: 10px;padding-bottom: 5px;" + + "padding-top: 5px;background-color: #DBDDE3;}"); + myStyleSheet.addRule("a {color: #0a9100;text-decoration: none;}"); + myStyleSheet.addRule(".aanchor {color: #CC6633;}"); + myStyleSheet.addRule(".centered {text-align: center;}"); + myStyleSheet.addRule(".comment {text-align: center;font-size: 9px;font-style: oblique;font-weight: normal;}"); + myStyleSheet.addRule(".comment2 {text-align: justify;font-size: 9px;font-style: oblique;font-weight: normal;}"); + myStyleSheet.addRule(".ttle {color: #000000;font-family: Verdana, Arial, Helvetica, sans-serif;" + + "text-align: center;font-weight: bold;font-size: 11px;background-color: #DBDDE3;}"); + myStyleSheet.addRule(".tab {border-width: 1px;border-color: #909090;border-style:solid;}"); + myStyleSheet.addRule(".tds {border-width: 1px;border-color: #909090;border-style:solid;background-color: #DBDDE3;}"); + myStyleSheet.addRule(".image {border-width: 1px;border-color: #909090;border-style:solid;background-color: #F1F3F9;}"); + editorkit.setStyleSheet(myStyleSheet); + this.setEditable(false); + addHyperlinkListener(this); + } + + void fixImagePath() { + final String SP = System.getProperty("file.separator"); + + // Check if there are external images (inside the docs folder of + // carmetal_config directory + Pattern p = Pattern.compile("(
" + m.group(1) + "file:///"; + myst += Global.getHomeDirectory().replace("\\", "\\\\"); + myst += "docs/images/".replace("/", SP).replace("\\", "\\\\"); + myst += m.group(3).replace("/", SP).replace("\\", "\\\\"); + + // on windows, the img tag seems to need the width and height + // attribute : + final ImageIcon myimg = new ImageIcon(Global.getHomeDirectory() + "docs/images/" + m.group(3)); + if (myimg != null) { + myst += "\" width=\"" + myimg.getIconWidth() + "\" height=\"" + myimg.getIconHeight() + "\""; + } + + myst += m.group(4); + myst += "
"; + m.appendReplacement(sb, myst); + } + m.appendTail(sb); + m.reset(); + content = sb.toString(); + + // Check if there are internal images (inside the jar archive with root + // eric/GUI/icons/ : + p = Pattern.compile("(")); + String tag = ""; + if (myIMG == null) { + tag = "
| " + mytitle + " | "; + tag += "
| " + mytitle + " | "; + tag += "
| " + Global.Loc("contexthelp.seealso") + " |