1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
# Copyright 2008 by Peter Moxhay and Wade Brainerd.
# This file is part of Math.
#
# Math is 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, either version 3 of the License, or
# (at your option) any later version.
#
# Math 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 Math. If not, see <http://www.gnu.org/licenses/>.
from objectarea import Object
from draggableobject import DraggableObject
from vector import Vector
import gtk
from movableobject import MovableObject
class SymbolMovableObject(MovableObject):
"""Draggable symbol."""
def __init__(self, pos, symbol, drop_targets, container, size=50):
MovableObject.__init__(self)
self.pos = pos
self.symbol = symbol
self.size = size
# Assume massive width and height until set by draw.
self.width = 10000
self.height = 10000
self.selectable = True
self.rotatable = False
self.use_minimum_width_and_height = False
self.drag_copy = True
self.drop_targets = drop_targets
self.container = container
def draw(self, cr):
text = self.symbol
if self.dragged:
# The line segment gets transparent when dragged.
cr.set_source_rgba(0, 0, 0, 0.5)
else:
# Otherwise, it's black.
cr.set_source_rgb(0, 0, 0)
cr.set_font_size(self.size)
x_bearing, y_bearing, width, height = cr.text_extents(text)[:4]
if self.use_minimum_width_and_height:
letter_width = width
letter_height = height
width = 75
height = 75
cr.move_to(self.pos.x - x_bearing - width/2 + width/2 - letter_width/2, self.pos.y - y_bearing - height/2 + height/2 - letter_height/2)
cr.show_text(text)
else:
cr.move_to(self.pos.x - x_bearing - width/2, self.pos.y - y_bearing - height/2)
cr.show_text(text)
if self.use_minimum_width_and_height:
width = 75
height = 75
if self.selected:
cr.rectangle(self.pos.x - 5 - width/2, self.pos.y - 5 - height/2, width + 10, height + 10)
cr.set_line_width(1.0)
# Draw a different dashed outline if the object is not only selected but dragged.
if self.dragged:
cr.set_dash((2, 2, 0))
else:
cr.set_dash((10, 10), 0)
cr.set_source_rgb(0, 0, 0)
cr.stroke()
self.width = width
self.height = height
def get_bounds(self):
hsz = Vector(self.width/2 + 5, self.height/2 + 5)
return self.pos - hsz, self.pos + hsz
|
