May 25, 2018 updates: Privacy Policy
  • R/O
  • SSH
  • HTTPS

smart-gs: Commit


Commit MetaInfo

Revision1197 (tree)
Time2016-10-17 12:57:33
Authorminao

Log Message

BookmarkとMemopadを2倍UIに対応させた。

Change Summary

Incremental Difference

--- trunk/src/smart_gs/drawing_tool/view/MemoPadView.java (revision 1196)
+++ trunk/src/smart_gs/drawing_tool/view/MemoPadView.java (revision 1197)
@@ -64,7 +64,7 @@
6464 protected Rectangle2D rectangle;
6565 protected String memopadtext;
6666 protected Font font = DEFAULT_FONT;
67- private double corner_size = DEFAULT_CORNER_SIZE;
67+ private double corner_size = DEFAULT_CORNER_SIZE * magnification;
6868 private double barb_length = DEFAULT_BARB_LENGTH;
6969 private ArrayList<Arrow> arrows;
7070 private Mode mode;
@@ -657,7 +657,7 @@
657657 public Arrow(Point2D tail, Point2D head, double barbLength) {
658658 this.tail = tail;
659659 this.head = head;
660- this.barbLength = barbLength;
660+ this.barbLength = barbLength * magnification;
661661 }
662662 public Line2D getBarb(String side) {
663663 double slope = getSlope(tail, head);
--- trunk/src/smart_gs/drawing_tool/view/BookmarkView.java (revision 1196)
+++ trunk/src/smart_gs/drawing_tool/view/BookmarkView.java (revision 1197)
@@ -16,8 +16,8 @@
1616 import org.w3c.dom.Document;
1717 import org.w3c.dom.Element;
1818
19-import smart_gs.GSConstants;
20-
19+import smart_gs.GSConstants;
20+import smart_gs.debugprint.Debugprint;
2121 import smart_gs.logical.Preference;
2222 import smart_gs.logical.URICreator;
2323 import smart_gs.swingui.WorkspaceWindow;
@@ -39,7 +39,7 @@
3939
4040 public static double DEFAULT_WIDTH = 45;
4141 public static double DEFAULT_HEIGHT = 42;
42-
42+
4343 private Rectangle2D rectangle;
4444 private double size;
4545 private Point origin;
@@ -248,8 +248,8 @@
248248 this.size = size;
249249 double originX = this.origin.getX();
250250 double originY = this.origin.getY();
251- double w = DEFAULT_WIDTH * size;
252- double h = DEFAULT_HEIGHT * size;
251+ double w = DEFAULT_WIDTH * size * magnification;
252+ double h = DEFAULT_HEIGHT * size * magnification;
253253 double x = originX - (w/4);
254254 double y = originY - h;
255255 this.rectangle = new Rectangle2D.Double(x, y, w, h);
Show on old repository browser