Initial revision

processing/app/PdeEditorGraphics.java.x

@@ -0,0 +1,103 @@
+#ifdef EDITOR
+
+import java.awt.*;
+
+
+public class DbnEditorGraphics extends DbnGraphics {
+  static Font plainFont = new Font("Helvetica", Font.PLAIN, 10);
+
+  Color tickColor;
+  Color bgStippleColor;
+
+  DbnEditor editor;
+
+
+  public DbnEditorGraphics(int width, int height, Color tickColor,
+			   Color bgColor, Color bgStippleColor, 
+			   DbnEditor editor) {
+    super(width, height, bgColor);
+    this.tickColor = tickColor;
+    this.bgStippleColor = bgStippleColor;
+    this.editor = editor;
+  }
+
+
+  public Dimension preferredSize() {
+    return new Dimension(width1*magnification + 100, 
+			 height1*magnification + 100);
+  }
+
+
+  public void base() {
+    if (baseImage == null) updateBase = true;
+
+    if (updateBase) {
+      // these few lines completely identical to DbnGraphics.base()
+      Dimension dim = preferredSize();
+      baseImage = createImage(dim.width, dim.height);
+      baseGraphics = baseImage.getGraphics();
+      lastImage = createImage(width, height);
+      lastGraphics = lastImage.getGraphics();
+
+      gx = (dim.width - width*magnification) / 2;
+      gy = (dim.height - height*magnification) / 2;
+
+      // draw background
+      Graphics g = baseGraphics;
+      g.setColor(bgColor);
+      g.fillRect(0, 0, dim.width, dim.height);
+      if (!bgColor.equals(bgStippleColor)) {
+	g.setColor(bgStippleColor);
+	int count = 2 * Math.max(dim.width, dim.height);
+	for (int i = 0; i < count; i += 2) {
+	  g.drawLine(0, i, i, 0);
+	}
+      }
+      g.setFont(plainFont);
+      FontMetrics metrics = g.getFontMetrics();
+      int lineheight = metrics.getAscent() + 
+	metrics.getDescent();
+
+      // put ticks around (only if in edit mode)
+      g.setColor(tickColor);
+      int increment = (width > 101) ? 25 : 20;
+      int x, y;
+      y = gy + height*magnification;
+      for (x = 0; x <= width; x += increment) {
+	int xx = x * magnification;
+	g.drawLine(gx + xx, y, gx + xx, y + 4);
+	String num = String.valueOf(x);
+	g.drawString(num, gx + xx - 1, y + 2 + lineheight);
+      }
+      for (y = 0; y <= height; y += increment) {
+	int yy = y * magnification;
+	g.drawLine(gx - 4, gy + yy, gx, gy + yy);
+	String num = String.valueOf(y);
+	int numWidth = metrics.stringWidth(num);
+	g.drawString(num, gx - 6 - numWidth, 
+		     gy + height*magnification - yy);
+      }
+      // draw a dark frame around the runner
+      g.setColor(Color.black);
+      g.drawRect(gx-1, gy-1, width*magnification+1, height*magnification+1);
+    }
+  }
+
+
+  public boolean updateMouse(Event e, int x, int y) {
+    super.updateMouse(e, x, y);
+
+    if (e.controlDown() && (mouse[2] == 100)) {
+      editor.doSaveTiff();
+    }
+
+    if (e.shiftDown()) {
+      editor.highlightLine(getLine(x, height1 - y));
+    }
+
+    return true;
+  }
+}
+
+
+#endif