示例#1
0
  /**
   * Describe <code>hitTest</code> method here.
   *
   * @param e a <code>PEMouseEvent</code> value
   * @param isHighlightVisible a <code>boolean</code> value
   * @return a <code>ConvexZoneHitTest</code> value
   */
  public ConvexZoneHitInfo hitTest(PEMouseEvent e, boolean isHighlightVisible) {

    if (boundaryPath0 == null) return null;
    double clickDistance = CLICK_DISTANCE / e.getCanvas().getZoomFactor();
    int segmentIndex = PEToolKit.testDistanceToPath(boundaryPath0, e.getPicPoint(), clickDistance);
    if (segmentIndex >= 0) return new ConvexZoneHitInfo.Stroke(this, segmentIndex, e);
    if (boundaryPath1 == null) return null;
    segmentIndex = PEToolKit.testDistanceToPath(boundaryPath1, e.getPicPoint(), clickDistance);
    if (segmentIndex >= 0) return new ConvexZoneHitInfo.Stroke(this, segmentIndex, e);
    return null;
  }
示例#2
0
 /**
  * Ajoute les commandes <code>
  * \\definecolor{colourName}{rgb}{<var>r</var>,<var>g</var>,<var>b</var>}
  * </code> au tampon <code>buf</code> passé en argument.
  *
  * @since jPicEdt 1.6
  */
 public static void addUserDefinedColourDefinitions(
     StringBuffer buf, ParameterString p, TikzFormatter factory) {
   float[] colourComponents = new float[3];
   for (ParameterString.UserDefinedColour c : p.getUserDefinedColourList()) {
     buf.append("\\definecolor{");
     buf.append(c.name);
     buf.append("}{rgb}{");
     colourComponents = c.colour.getRGBColorComponents(colourComponents);
     buf.append(PEToolKit.doubleToString(colourComponents[0]));
     buf.append(",");
     buf.append(PEToolKit.doubleToString(colourComponents[1]));
     buf.append(",");
     buf.append(PEToolKit.doubleToString(colourComponents[2]));
     buf.append("}");
     buf.append(factory.getLineSeparator());
   }
 }
示例#3
0
  /** Construct a new "about&hellip;" dialog */
  public DialogAbout(MDIManager mdimgr) {

    buttonOk = new JButton(localize("button.OK"));
    buttonOk.addActionListener(this);

    JPanel buttonPanel = new JPanel(new FlowLayout(), false);
    buttonPanel.add(buttonOk);

    JPanel logoPanel = new JPanel(new FlowLayout(), false);
    logoPanel.setBorder(new EmptyBorder(10, 10, 10, 10));
    logoPanel.add(PEToolKit.createJLabel("Frankenstein"));

    JPanel infoPanel = new JPanel(new GridLayout(9, 1, 5, 5), true);
    infoPanel.setBorder(new EmptyBorder(10, 60, 10, 10));
    infoPanel.add(
        new JLabel("jPicEdt " + Version.getVersion() + " Built " + Version.getBuildDate()));
    infoPanel.add(new JLabel(localize("about.APictureEditorFor")));
    final String[] addressLines = {
      "(c) Sylvain Reynal",
      "É.N.S.É.A. - Dept. of Physics",
      "6, avenue du Ponceau",
      "F-95014 CERGY Cedex",
      "Fax: +33 (0) 130 736 667",
      "*****@*****.**",
      "http://www.jpicedt.org"
    };
    for (String addressLine : addressLines) infoPanel.add(new JLabel(addressLine));

    JTabbedPane caveatPanel = new JTabbedPane();
    String[] tabKeys = {"license.lines", "license.thirdparty.lines"};
    for (String tabKey : tabKeys) {
      JEditorPane caveatTA = new JEditorPane();
      caveatTA.setContentType("text/html; charset=" + localize(tabKey + ".encoding"));
      caveatTA.setEditable(false);
      caveatTA.setPreferredSize(new Dimension(485, 300));
      JScrollPane scrollCaveat = new JScrollPane(caveatTA);
      caveatTA.setText(localize(tabKey));
      caveatPanel.addTab(localize(tabKey + ".tabname"), null, scrollCaveat, null);
    }

    caveatPanel.setBorder(BorderFactory.createEtchedBorder());

    JPanel upperPanel = new JPanel(new BorderLayout(), false);
    upperPanel.add(logoPanel, BorderLayout.WEST);
    upperPanel.add(infoPanel, BorderLayout.CENTER);
    upperPanel.add(caveatPanel, BorderLayout.SOUTH);
    upperPanel.setBorder(BorderFactory.createEtchedBorder());

    JPanel contentPane = new JPanel(new BorderLayout(5, 5));
    contentPane.add(upperPanel, BorderLayout.NORTH);
    contentPane.add(buttonPanel, BorderLayout.SOUTH);

    String title = localize("about.AboutPicEdt") + " " + Version.getVersion();
    boolean modal = true;
    frame = mdimgr.createDialog(title, modal, contentPane);
    frame.setResizable(true);
    frame.setDefaultCloseOperation(WindowConstants.DISPOSE_ON_CLOSE);

    Dimension dlgSize = frame.getPreferredSize();
    frame.setSize(dlgSize);

    // this.pack();
    frame.setVisible(true);
  }
示例#4
0
  /**
   * Returns a "\\psset{&hellip;}" buffer containing default parameters (useful if these differ from
   * PsTricks's ones) This is very similar to <code>createParameterString()</code> except that a
   * default attribute set is used, and dimensional parameters are taken into account, for which
   * jPicEdt's default values slightly differ from PsTricks's default (mostly due to the use of mm
   * instead of postscript points as the basic unit).
   */
  public static StringBuffer createDefaultParameterString(
      PicAttributeSet defaultAttributes, TikzFormatter factory) {

    ColorFormatter.ColorEncoding predefinedColorSet =
        factory.getCustomProperties().getFormatterPredefinedColorSet();

    StringBuffer paramBuf = new StringBuffer(100);

    paramBuf.append("\\psset{");

    paramBuf.append("linewidth=");
    paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(LINE_WIDTH)));

    paramBuf.append(",dotsep=");
    paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(DOT_SEP)));

    paramBuf.append(",hatchwidth=");
    paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(HATCH_WIDTH)));
    paramBuf.append(",hatchsep=");
    paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(HATCH_SEP)));

    paramBuf.append(",shadowsize=");
    paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(SHADOW_SIZE)));

    paramBuf.append(",dimen=middle"); // same as java

    // [SR:pending] not used yet
    // paramBuf.append(",doublesep=");
    // paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(DOUBLE_SEP)));

    paramBuf.append("}");
    paramBuf.append(factory.getLineSeparator());

    paramBuf.append("\\psset{");

    paramBuf.append("dotsize=");
    paramBuf.append(
        PEToolKit.doubleToString(defaultAttributes.getAttribute(POLYDOTS_SIZE_MINIMUM_MM)));
    paramBuf.append(' ');
    paramBuf.append(
        PEToolKit.doubleToString(defaultAttributes.getAttribute(POLYDOTS_SIZE_LINEWIDTH_SCALE)));
    paramBuf.append(",dotscale=");
    paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(POLYDOTS_SCALE_H)));
    paramBuf.append(' ');
    paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(POLYDOTS_SCALE_V)));
    // --- fill color = black (PsTricks doesn't seem to fill in black by default)
    paramBuf.append(",fillcolor=");
    paramBuf.append(
        ColorFormatter.format(defaultAttributes.getAttribute(FILL_COLOR), predefinedColorSet));

    paramBuf.append("}");
    paramBuf.append(factory.getLineSeparator());

    // arrow params
    paramBuf.append("\\psset{");

    paramBuf.append("arrowsize=");
    paramBuf.append(
        PEToolKit.doubleToString(defaultAttributes.getAttribute(ARROW_WIDTH_MINIMUM_MM)));
    paramBuf.append(' ');
    paramBuf.append(
        PEToolKit.doubleToString(defaultAttributes.getAttribute(ARROW_WIDTH_LINEWIDTH_SCALE)));

    paramBuf.append(",arrowlength=");
    paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(ARROW_LENGTH_SCALE)));

    paramBuf.append(",arrowinset=");
    paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(ARROW_INSET_SCALE)));

    paramBuf.append(",tbarsize=");
    paramBuf.append(
        PEToolKit.doubleToString(defaultAttributes.getAttribute(TBAR_WIDTH_MINIMUM_MM)));
    paramBuf.append(' ');
    paramBuf.append(
        PEToolKit.doubleToString(defaultAttributes.getAttribute(TBAR_WIDTH_LINEWIDTH_SCALE)));

    paramBuf.append(",bracketlength=");
    paramBuf.append(PEToolKit.doubleToString(defaultAttributes.getAttribute(BRACKET_LENGTH_SCALE)));

    paramBuf.append(",rbracketlength=");
    paramBuf.append(
        PEToolKit.doubleToString(defaultAttributes.getAttribute(RBRACKET_LENGTH_SCALE)));

    // dotsize -> see above (polydots)
    // arrowscale : default to 1 ok

    paramBuf.append("}");
    paramBuf.append(factory.getLineSeparator());

    return paramBuf;
  }
示例#5
0
  /** @return la liste de paramètres standard de TikZ pour l'objet élément passé en argument. */
  public static ParameterString createParameterString(
      Element obj,
      PicAttributeSet defaultAttributes,
      TikzCustomProperties tikzCustomProperties,
      BitSet mask) {

    ColorFormatter.ColorEncoding predefinedColorSet =
        tikzCustomProperties.getFormatterPredefinedColorSet();
    PicAttributeSet attributes = obj.getAttributeSet();

    StringBuffer paramBuf = new StringBuffer(100);
    ParameterString parameterString = new ParameterString(paramBuf, null);
    // no user-defined colour by default --------------------------^

    // linewidth
    double lineWidth = attributes.getAttribute(LINE_WIDTH);
    if (lineWidth != defaultAttributes.getAttribute(LINE_WIDTH)) {
      paramBuf.append("line width=");
      paramBuf.append(PEToolKit.doubleToString(lineWidth));
      paramBuf.append("mm");
    }

    // linecolor
    Color lineColor = attributes.getAttribute(LINE_COLOR);
    if (!lineColor.equals(defaultAttributes.getAttribute(LINE_COLOR))) {
      if (paramBuf.length() > 0) paramBuf.append(',');
      paramBuf.append("color=");
      String lineColorName = ColorFormatter.format(lineColor, predefinedColorSet);
      if (lineColorName != null) paramBuf.append(lineColorName); // ok, this is a predefined colour
      else { // define a new colour named "userLineColor" (it doesn't matter if it's not a unique
             // name, provided the caller insert it just BEFORE the command that needs it)
        parameterString.addUserDefinedColour("userLineColour", lineColor);
        paramBuf.append("userLineColour");
      }
    }

    // linestyle
    switch (attributes.getAttribute(LINE_STYLE)) {
      case DASHED:
        if (paramBuf.length() > 0) paramBuf.append(',');
        paramBuf.append("dash pattern= on ");
        paramBuf.append(PEToolKit.doubleToString(attributes.getAttribute(DASH_OPAQUE)));
        paramBuf.append("mm off ");
        paramBuf.append(PEToolKit.doubleToString(attributes.getAttribute(DASH_TRANSPARENT)));
        paramBuf.append("mm");
        break;
      case DOTTED:
        {
          double dotSep = attributes.getAttribute(DOT_SEP);
          if (dotSep > lineWidth) {
            if (paramBuf.length() > 0) paramBuf.append(',');
            paramBuf.append("dash pattern=on \\pgflinewidth off ");
            paramBuf.append(PEToolKit.doubleToString(dotSep - lineWidth));
            paramBuf.append("mm");
          }
        }
        break;
      case SOLID:
        break;
      case NONE:
        parameterString.setDrawToNone();
        break;
      default:
        debug("Unexpected LINE_STYLE");
    }

    // overstrike (if border > 0)
    // if (attributes.getAttribute(OVER_STRIKE)==Boolean.TRUE){
    // 	if (paramBuf.length()>0) paramBuf.append(',');
    // 	paramBuf.append("border=");
    // 	paramBuf.append(PEToolKit.doubleToString(attributes.getAttribute(OVER_STRIKE_WIDTH)));
    // }

    // fill style and fill colour
    FillStyle fillStyle = attributes.getAttribute(FILL_STYLE);
    if (fillStyle == FillStyle.NONE) {
    } else { // solid or hatches -> add fill colour (even if it's redundant for hatches that are not
             // "starred"=
      Color fillColor = attributes.getAttribute(FILL_COLOR);
      if (!(fillColor.equals(defaultAttributes.getAttribute(FILL_COLOR)))) { // i.e. "black" so far
        String fillColorName =
            ColorFormatter.format(fillColor, tikzCustomProperties.getFormatterPredefinedColorSet());
        if (paramBuf.length() > 0) paramBuf.append(',');
        paramBuf.append("fill=");
        if (fillColorName != null)
          paramBuf.append(fillColorName); // ok, this is a predefined colour
        else { // define a new colour named "userFillColor" (it doesn't matter if it's not a unique
               // name, provided the caller insert it just BEFORE the command that needs it)
          parameterString.addUserDefinedColour("userFillColour", fillColor);
          paramBuf.append("userFillColour");
        }
      } else parameterString.setFill();

      if (fillStyle == FillStyle.SOLID) {
      } else { // hatches
        // if (paramBuf.length()>0) paramBuf.append(',');
        // switch (fillStyle){
        // case VLINES: paramBuf.append("fillstyle=vlines"); break;
        // case VLINES_FILLED: paramBuf.append("fillstyle=vlines*"); break;
        // case HLINES: paramBuf.append("fillstyle=hlines"); break;
        // case HLINES_FILLED: paramBuf.append("fillstyle=hlines*"); break;
        // case CROSSHATCH: paramBuf.append("fillstyle=crosshatch"); break;
        // case CROSSHATCH_FILLED: paramBuf.append("fillstyle=crosshatch*"); break;
        // default://else throw new RuntimeException("not supported: fillstyle="+fillStyle);
        // }

        // double x = attributes.getAttribute(HATCH_WIDTH);
        // if (x!=defaultAttributes.getAttribute(HATCH_WIDTH)){
        // 	paramBuf.append(",hatchwidth=");
        // 	paramBuf.append(PEToolKit.doubleToString(x));
        // }
        // x = attributes.getAttribute(HATCH_SEP);
        // if (x!=defaultAttributes.getAttribute(HATCH_SEP)){
        // 	paramBuf.append(",hatchsep=");
        // 	paramBuf.append(PEToolKit.doubleToString(x));
        // }
        // x = attributes.getAttribute(HATCH_ANGLE);
        // if (x!=defaultAttributes.getAttribute(HATCH_ANGLE)){
        // 	paramBuf.append(",hatchangle=");
        // 	paramBuf.append(PEToolKit.doubleToString(x));
        // }

        // Color hatchColor = attributes.getAttribute(HATCH_COLOR);
        // if (!(hatchColor.equals(defaultAttributes.getAttribute(HATCH_COLOR)))){
        // 	paramBuf.append(",hatchcolor=");
        // 	String hatchColorName = TikzUtilities.getColorName(hatchColor);
        // 	if (hatchColorName != null) paramBuf.append(hatchColorName); // ok, this is a predefined
        // colour
        // 	else { // define a new colour named "userHatchColor" (it doesn't matter if it's not a
        // unique name, provided the caller insert it just BEFORE the command that needs it)
        // 		userDefinedColourList =
        // addUserDefinedColour(userDefinedColourList,"userHatchColour",hatchColor);
        // 		paramBuf.append("userHatchColour");
        // 	}
        // }
      }
    }
    // shadow
    if (attributes.getAttribute(SHADOW) == Boolean.TRUE) {
      if (paramBuf.length() > 0) paramBuf.append(',');
      paramBuf.append("shadow={");
      int argCount = 0;
      double r = attributes.getAttribute(SHADOW_SIZE);
      double a = attributes.getAttribute(SHADOW_ANGLE);
      if (r != defaultAttributes.getAttribute(SHADOW_SIZE)
          && a != defaultAttributes.getAttribute(SHADOW_ANGLE)) {
        ++argCount;
        a = toRadians(a);
        paramBuf.append("shadow xshift=");
        paramBuf.append(PEToolKit.doubleToString(r * cos(a)));
        paramBuf.append("mm ,shadow yshift=");
        paramBuf.append(PEToolKit.doubleToString(r * sin(a)));
        paramBuf.append("mm");
      }
      Color shadowColor = attributes.getAttribute(SHADOW_COLOR);
      if (!(shadowColor.equals(defaultAttributes.getAttribute(SHADOW_COLOR)))) {
        if (argCount != 0) paramBuf.append(',');
        ++argCount;

        paramBuf.append("fille=");
        String shadowColorName = ColorFormatter.format(shadowColor, predefinedColorSet);
        if (shadowColorName != null)
          paramBuf.append(shadowColorName); // ok, this is a predefined colour
        else { // define a new colour named "userShadowColor"
          parameterString.addUserDefinedColour("userShadowColour", shadowColor);
          paramBuf.append("userShadowColour");
        }
      }
      paramBuf.append('}');
    }

    // arrow parameters if at least one arrow is present
    if (attributes.getAttribute(LEFT_ARROW) != ArrowStyle.NONE
        || attributes.getAttribute(RIGHT_ARROW) != ArrowStyle.NONE) {
      // Tikz Arrow styles
      if (paramBuf.length() > 0) paramBuf.append(',');
      paramBuf.append(
          createArrowStringFromArrows(
              attributes,
              tikzCustomProperties,
              mask.get(TikzConstants.DrawFlags.SWAP_ARROWS.getValue())));

      // 	double x,y;
      // 	x = attributes.getAttribute(ARROW_GLOBAL_SCALE_LENGTH);
      // 	y = attributes.getAttribute(ARROW_GLOBAL_SCALE_WIDTH);
      // 	if (x!=defaultAttributes.getAttribute(ARROW_GLOBAL_SCALE_LENGTH) ||
      // y!=defaultAttributes.getAttribute(ARROW_GLOBAL_SCALE_WIDTH)){
      // 		if (paramBuf.length()>0) paramBuf.append(',');
      // 		paramBuf.append("arrowscale=");
      // 		paramBuf.append(PEToolKit.doubleToString(y));
      // 		paramBuf.append(' ');
      // 		paramBuf.append(PEToolKit.doubleToString(x));
      // 	}
      // 	x = attributes.getAttribute(ARROW_WIDTH_MINIMUM_MM);
      // 	y = attributes.getAttribute(ARROW_WIDTH_LINEWIDTH_SCALE);
      // 	if (x!=defaultAttributes.getAttribute(ARROW_WIDTH_MINIMUM_MM) ||
      // y!=defaultAttributes.getAttribute(ARROW_WIDTH_LINEWIDTH_SCALE)){
      // 		if (paramBuf.length()>0) paramBuf.append(',');
      // 		paramBuf.append("arrowsize=");
      // 		paramBuf.append(PEToolKit.doubleToString(x));
      // 		paramBuf.append(' ');
      // 		paramBuf.append(PEToolKit.doubleToString(y));
      // 	}
      // 	x = attributes.getAttribute(ARROW_LENGTH_SCALE);
      // 	if (x!=defaultAttributes.getAttribute(ARROW_LENGTH_SCALE)){
      // 		if (paramBuf.length()>0) paramBuf.append(',');
      // 		paramBuf.append("arrowlength=");
      // 		paramBuf.append(PEToolKit.doubleToString(x));
      // 	}
      // 	x = attributes.getAttribute(ARROW_INSET_SCALE);
      // 	if (x!=defaultAttributes.getAttribute(ARROW_INSET_SCALE)){
      // 		if (paramBuf.length()>0) paramBuf.append(',');
      // 		paramBuf.append("arrowinset=");
      // 		paramBuf.append(PEToolKit.doubleToString(x));
      // 	}
      // 	x = attributes.getAttribute(TBAR_WIDTH_MINIMUM_MM);
      // 	y = attributes.getAttribute(TBAR_WIDTH_LINEWIDTH_SCALE);
      // 	if (x!=defaultAttributes.getAttribute(TBAR_WIDTH_MINIMUM_MM) ||
      // y!=defaultAttributes.getAttribute(TBAR_WIDTH_LINEWIDTH_SCALE)){
      // 		if (paramBuf.length()>0) paramBuf.append(',');
      // 		paramBuf.append("tbarsize=");
      // 		paramBuf.append(PEToolKit.doubleToString(x));
      // 		paramBuf.append(' ');
      // 		paramBuf.append(PEToolKit.doubleToString(y));
      // 	}
      // 	x = attributes.getAttribute(BRACKET_LENGTH_SCALE);
      // 	if (x!=defaultAttributes.getAttribute(BRACKET_LENGTH_SCALE)){
      // 		if (paramBuf.length()>0) paramBuf.append(',');
      // 		paramBuf.append("bracketlength=");
      // 		paramBuf.append(PEToolKit.doubleToString(x));
      // 	}
      // 	x = attributes.getAttribute(RBRACKET_LENGTH_SCALE);
      // 	if (x!=defaultAttributes.getAttribute(RBRACKET_LENGTH_SCALE)){
      // 		if (paramBuf.length()>0) paramBuf.append(',');
      // 		paramBuf.append("rbracketlength=");
      // 		paramBuf.append(PEToolKit.doubleToString(x));
      // 	}
      // 	// [pending] check if not already set by polydots
      // 	x = attributes.getAttribute(POLYDOTS_SIZE_MINIMUM_MM);
      // 	y = attributes.getAttribute(POLYDOTS_SIZE_LINEWIDTH_SCALE);
      // 	if (x!=defaultAttributes.getAttribute(POLYDOTS_SIZE_MINIMUM_MM) ||
      // y!=defaultAttributes.getAttribute(POLYDOTS_SIZE_LINEWIDTH_SCALE)){
      // 		if (paramBuf.length()>0) paramBuf.append(',');
      // 		paramBuf.append("dotsize=");
      // 		paramBuf.append(PEToolKit.doubleToString(x));
      // 		paramBuf.append(' ');
      // 		paramBuf.append(PEToolKit.doubleToString(y));
      // 	}
    }

    // double line
    // if (attributes.getAttribute(DOUBLE_LINE)==Boolean.TRUE){
    // 	if (paramBuf.length()>0) paramBuf.append(',');
    // 	paramBuf.append("double=");
    // 	double x = attributes.getAttribute(DOUBLE_SEP);
    // 	if (x!=defaultAttributes.getAttribute(DOUBLE_SEP)){
    // 		paramBuf.append(",doublesep=");
    // 		paramBuf.append(PEToolKit.doubleToString(x));
    // 	}
    // 	Color doubleColor =  attributes.getAttribute(DOUBLE_COLOR);
    // 	if (!(doubleColor.equals(defaultAttributes.getAttribute(DOUBLE_COLOR)))){
    // 		paramBuf.append(",doublecolor=");
    // 		String doubleColorName = TikzUtilities.getColorName(doubleColor);
    // 		if (doubleColorName != null) paramBuf.append(doubleColorName); // ok, this is a predefined
    // colour
    // 		else { // define a new colour named "userDoubleColor"
    // 			userDefinedColourList =
    // addUserDefinedColour(userDefinedColourList,"userDoubleColour",doubleColor);
    // 			paramBuf.append("userDoubleColour");
    // 		}
    // 	}
    // }

    // misc params
    // switch (attributes.getAttribute(DIMEN)){
    // case INNER:
    // 	if (paramBuf.length()>0) paramBuf.append(',');
    // 	paramBuf.append("dimen=inner");
    // 	break;
    // case MIDDLE:
    // 	if (paramBuf.length()>0) paramBuf.append(',');
    // 	paramBuf.append("dimen=middle");
    // 	break;
    // default:// else default="outer"
    // }

    // Custom TikZ parameters.
    {
      String customs = attributes.getAttribute(TIKZ_CUSTOM);
      if (customs.length() > 0) {
        if (paramBuf.length() > 0) paramBuf.append(',');
        paramBuf.append(customs);
      }
    }

    return parameterString;
  }