annotate dia/standard_tools.d @ 27:f3d91579bb28

Checkpoint
author David Bryant <daveb@acres.com.au>
date Wed, 29 Jul 2009 14:11:35 +0930
parents 06c30d250c0a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
22
17c2df87b459 Package refactoring.
"David Bryant <bagnose@gmail.com>"
parents: 20
diff changeset
1 module dia.standard_tools;
2
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
2
16
9e63308b749c * Fix up public/private includes
David Bryant <daveb@acres.com.au>
parents: 14
diff changeset
3 public {
24
a24c13bb9c98 Builds again.
"David Bryant <bagnose@gmail.com>"
parents: 22
diff changeset
4 import dia.tool;
16
9e63308b749c * Fix up public/private includes
David Bryant <daveb@acres.com.au>
parents: 14
diff changeset
5 }
9e63308b749c * Fix up public/private includes
David Bryant <daveb@acres.com.au>
parents: 14
diff changeset
6
9e63308b749c * Fix up public/private includes
David Bryant <daveb@acres.com.au>
parents: 14
diff changeset
7 private {
24
a24c13bb9c98 Builds again.
"David Bryant <bagnose@gmail.com>"
parents: 22
diff changeset
8 import cairo.routines;
16
9e63308b749c * Fix up public/private includes
David Bryant <daveb@acres.com.au>
parents: 14
diff changeset
9 import std.math;
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
10 import std.stdio;
16
9e63308b749c * Fix up public/private includes
David Bryant <daveb@acres.com.au>
parents: 14
diff changeset
11 }
7
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
12
2
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
13 final class PanTool : Tool {
26
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
14 override bool handle_button_press(scope Viewport viewport, in ButtonEvent event) {
7
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
15 if (event.button_name == ButtonName.MIDDLE) {
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
16 mLastPosition = event.pixel_point;
7
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
17 return true;
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
18 }
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
19 else {
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
20 return false;
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
21 }
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
22 }
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
23
26
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
24 override bool handle_motion(scope Viewport viewport, in MotionEvent event) {
13
f0ade1b49fe7 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 10
diff changeset
25 if (event.mask.is_set(Modifier.MIDDLE_BUTTON)) {
20
d6e7a5a6f008 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 19
diff changeset
26 viewport.pan_relative(mLastPosition - event.pixel_point);
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
27 mLastPosition = event.pixel_point;
8
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
28
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
29 return true;
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
30 }
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
31 else {
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
32 return false;
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
33 }
7
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
34 }
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
35
26
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
36 override bool handle_scroll(scope Viewport viewport, in ScrollEvent event) {
13
f0ade1b49fe7 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 10
diff changeset
37 if (event.mask.is_unset(Modifier.MIDDLE_BUTTON)) {
9
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
38 Vector delta;
2
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
39
8
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
40 switch (event.scroll_direction) {
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
41 case ScrollDirection.UP:
14
0b7e7d43a79d Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 13
diff changeset
42 delta = event.mask.is_set(Modifier.SHIFT) ? Vector(AMOUNT, 0.0) : Vector(0.0, AMOUNT);
8
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
43 break;
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
44 case ScrollDirection.DOWN:
14
0b7e7d43a79d Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 13
diff changeset
45 delta = event.mask.is_set(Modifier.SHIFT) ? Vector(-AMOUNT, 0.0) : Vector(0.0, -AMOUNT);
8
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
46 break;
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
47 case ScrollDirection.LEFT:
9
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
48 delta = Vector(-AMOUNT, 0.0);
8
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
49 break;
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
50 case ScrollDirection.RIGHT:
9
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
51 delta = Vector(AMOUNT, 0.0);
8
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
52 break;
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
53 }
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
54
20
d6e7a5a6f008 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 19
diff changeset
55 viewport.pan_relative(delta);
2
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
56 }
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
57
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
58 return true;
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
59 }
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
60
8
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
61 private {
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
62 Point mLastPosition;
9
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
63 static invariant double AMOUNT = 60.0;
8
bf7903435f58 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 7
diff changeset
64 }
2
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
65 }
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
66
7
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
67 final class ZoomTool : Tool {
26
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
68 override bool handle_scroll(scope Viewport viewport, in ScrollEvent event) {
7
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
69 if (event.mask.is_set(Modifier.CONTROL)) {
2
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
70 if (event.scroll_direction == ScrollDirection.DOWN) {
20
d6e7a5a6f008 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 19
diff changeset
71 viewport.zoom_relative(event.pixel_point, 1.0 / ZOOM);
9
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
72 return true;
2
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
73 }
9
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
74 else if (event.scroll_direction == ScrollDirection.UP) {
20
d6e7a5a6f008 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 19
diff changeset
75 viewport.zoom_relative(event.pixel_point, ZOOM);
9
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
76 return true;
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
77 }
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
78 else {
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
79 return false;
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
80 }
2
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
81 }
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
82 else {
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
83 return false;
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
84 }
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
85 }
7
936feb16eed4 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 3
diff changeset
86
9
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
87 private {
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
88 static invariant double ZOOM = sqrt(2.0);
66b47e122b31 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 8
diff changeset
89 }
2
d6f44347373d * Switched over to geometry done with structs instead of classes.
David Bryant <daveb@acres.com.au>
parents:
diff changeset
90 }
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
91
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
92 final class LassoTool : Tool {
26
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
93 override bool handle_button_press(scope Viewport viewport, in ButtonEvent event) {
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
94 if (event.button_name == ButtonName.LEFT) {
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
95 mActive = true;
18
df8d81d9f499 Lasso fiddling
David Bryant <daveb@acres.com.au>
parents: 17
diff changeset
96 mAnchorPoint = mCurrentPoint = event.pixel_point;
27
f3d91579bb28 Checkpoint
David Bryant <daveb@acres.com.au>
parents: 26
diff changeset
97 viewport.set_cursor(Cursor.HAND);
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
98 return true;
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
99 }
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
100 else {
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
101 return false;
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
102 }
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
103 }
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
104
26
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
105 override bool handle_button_release(scope Viewport viewport, in ButtonEvent event) {
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
106 if (event.button_name == ButtonName.LEFT && mActive) {
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
107 mActive = false;
19
22abbf4cde96 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 18
diff changeset
108 viewport.damage_pixel(Rectangle(mAnchorPoint, mCurrentPoint).feathered(LINE_WIDTH / 2.0));
27
f3d91579bb28 Checkpoint
David Bryant <daveb@acres.com.au>
parents: 26
diff changeset
109 viewport.set_cursor(Cursor.DEFAULT);
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
110 return true;
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
111 }
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
112 else {
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
113 return false;
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
114 }
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
115 }
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
116
26
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
117 override bool handle_motion(scope Viewport viewport, in MotionEvent event) {
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
118 if (mActive) {
19
22abbf4cde96 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 18
diff changeset
119 viewport.damage_pixel(Rectangle(mAnchorPoint, mCurrentPoint).feathered(LINE_WIDTH / 2.0));
18
df8d81d9f499 Lasso fiddling
David Bryant <daveb@acres.com.au>
parents: 17
diff changeset
120 mCurrentPoint = event.pixel_point;
19
22abbf4cde96 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 18
diff changeset
121 viewport.damage_pixel(Rectangle(mAnchorPoint, mCurrentPoint).feathered(LINE_WIDTH / 2.0));
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
122 }
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
123
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
124 return false;
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
125 }
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
126
26
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
127 override void draw(in Viewport viewport,
19
22abbf4cde96 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 18
diff changeset
128 in Rectangle pixel_damage, scope Context pixel_cr,
22abbf4cde96 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 18
diff changeset
129 in Rectangle model_damage, scope Context model_cr) const {
18
df8d81d9f499 Lasso fiddling
David Bryant <daveb@acres.com.au>
parents: 17
diff changeset
130 if (mActive) {
df8d81d9f499 Lasso fiddling
David Bryant <daveb@acres.com.au>
parents: 17
diff changeset
131 pixel_cr.save; {
26
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
132 pixel_cr.setSourceRgba(0.0, 0.0, 0.8, 0.3);
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
133 rectangle(pixel_cr, Rectangle(mCurrentPoint, mAnchorPoint));
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
134 pixel_cr.fill();
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
135 } pixel_cr.restore();
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
136
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
137 pixel_cr.save(); {
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
138 //double[] dashes = [ 4.0, 4.0 ];
06c30d250c0a Cleanup
"David Bryant <bagnose@gmail.com>"
parents: 24
diff changeset
139 //pixel_cr.setDash(dashes, 0.0);
19
22abbf4cde96 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 18
diff changeset
140 pixel_cr.setSourceRgba(0.0, 0.0, 0.5, 1.0);
22abbf4cde96 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 18
diff changeset
141 pixel_cr.setLineWidth(LINE_WIDTH);
18
df8d81d9f499 Lasso fiddling
David Bryant <daveb@acres.com.au>
parents: 17
diff changeset
142 //writefln("Drawing rectangle: %s", Rectangle(mCurrentPoint, mAnchorPoint));
df8d81d9f499 Lasso fiddling
David Bryant <daveb@acres.com.au>
parents: 17
diff changeset
143 rectangle(pixel_cr, Rectangle(mCurrentPoint, mAnchorPoint));
df8d81d9f499 Lasso fiddling
David Bryant <daveb@acres.com.au>
parents: 17
diff changeset
144 pixel_cr.stroke;
df8d81d9f499 Lasso fiddling
David Bryant <daveb@acres.com.au>
parents: 17
diff changeset
145 } pixel_cr.restore;
df8d81d9f499 Lasso fiddling
David Bryant <daveb@acres.com.au>
parents: 17
diff changeset
146 }
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
147 }
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
148
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
149 private {
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
150 bool mActive;
18
df8d81d9f499 Lasso fiddling
David Bryant <daveb@acres.com.au>
parents: 17
diff changeset
151 Point mCurrentPoint;
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
152 Point mAnchorPoint; // Pixel
19
22abbf4cde96 Checkpoint
"David Bryant <bagnose@gmail.com>"
parents: 18
diff changeset
153 static invariant double LINE_WIDTH = 1.0;
17
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
154 }
c643c04e3f5e Checkpoint
David Bryant <daveb@acres.com.au>
parents: 16
diff changeset
155 }