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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
|
from pyface.qt import QtGui, QtCore
from traits.api import Float, Any, Str, Trait
from traitsui.editors.api import RangeEditor
from traitsui.qt4.editor import Editor
from traitsui.qt4.extra.range_slider import RangeSlider
class _BoundsEditor(Editor):
evaluate = Any
min = Any
max = Any
low = Any
high = Any
format = Str
def init(self, parent):
""" Finishes initializing the editor by creating the underlying toolkit
widget.
"""
factory = self.factory
if not factory.low_name:
self.low = factory.low
if not factory.high_name:
self.high = factory.high
self.max = factory.max
self.min = factory.min
self.format = factory.format
self.evaluate = factory.evaluate
self.sync_value( factory.evaluate_name, 'evaluate', 'from' )
self.sync_value( factory.low_name, 'low', 'both' )
self.sync_value( factory.high_name, 'high', 'both' )
self.control = QtGui.QWidget()
panel = QtGui.QHBoxLayout(self.control)
panel.setContentsMargins(0, 0, 0, 0)
self._label_lo = QtGui.QLineEdit(self.format % self.low)
QtCore.QObject.connect(self._label_lo, QtCore.SIGNAL('editingFinished()'),
self.update_low_on_enter)
panel.addWidget(self._label_lo)
# The default size is a bit too big and probably doesn't need to grow.
sh = self._label_lo.sizeHint()
sh.setWidth(sh.width() / 2)
self._label_lo.setMaximumSize(sh)
self.control.slider = slider = RangeSlider(QtCore.Qt.Horizontal)
slider.setTracking(factory.auto_set)
slider.setMinimum(0)
slider.setMaximum(10000)
slider.setPageStep(1000)
slider.setSingleStep(100)
slider.setLow(self._convert_to_slider(self.low))
slider.setHigh(self._convert_to_slider(self.high))
QtCore.QObject.connect(slider, QtCore.SIGNAL('sliderMoved(int)'),
self.update_object_on_scroll)
panel.addWidget(slider)
self._label_hi = QtGui.QLineEdit(self.format % self.high)
QtCore.QObject.connect(self._label_hi, QtCore.SIGNAL('editingFinished()'),
self.update_high_on_enter)
panel.addWidget(self._label_hi)
# The default size is a bit too big and probably doesn't need to grow.
sh = self._label_hi.sizeHint()
sh.setWidth(sh.width() / 2)
self._label_hi.setMaximumSize(sh)
self.set_tooltip(slider)
self.set_tooltip(self._label_lo)
self.set_tooltip(self._label_hi)
def update_low_on_enter(self):
try:
try:
low = eval(unicode(self._label_lo.text()).strip())
if self.evaluate is not None:
low = self.evaluate(low)
except Exception, ex:
low = self.low
self._label_lo.setText(self.format % self.low)
if not self.factory.is_float:
low = int(low)
if low > self.high:
low = self.high - self._step_size()
self._label_lo.setText(self.format % low)
self.control.slider.setLow(self._convert_to_slider(low))
self.low = low
except:
pass
def update_high_on_enter(self):
try:
try:
high = eval(unicode(self._label_hi.text()).strip())
if self.evaluate is not None:
high = self.evaluate(high)
except:
high = self.high
self._label_hi.setText(self.format % self.high)
if not self.factory.is_float:
high = int(high)
if high < self.low:
high = self.low + self._step_size()
self._label_hi.setText(self.format % high)
self.control.slider.setHigh(self._convert_to_slider(high))
self.high = high
except:
pass
def update_object_on_scroll(self, pos):
low = self._convert_from_slider(self.control.slider.low())
high = self._convert_from_slider(self.control.slider.high())
if self.factory.is_float:
self.low = low
self.high = high
else:
self.low = int(low)
self.high = int(high)
# update the sliders to the int values or the sliders
# will jiggle
self.control.slider.setLow(self._convert_to_slider(low))
self.control.slider.setHigh(self._convert_to_slider(high))
def update_editor(self):
return
def _check_max_and_min(self):
# check if max & min have been defined:
if self.max is None:
self.max = self.high
if self.min is None:
self.min = self.low
def _step_size(self):
slider_delta = self.control.slider.maximum() - self.control.slider.minimum()
range_delta = self.max - self.min
return float(range_delta)/slider_delta
def _convert_from_slider(self, slider_val):
self._check_max_and_min()
return self.min + slider_val * self._step_size()
def _convert_to_slider(self, value):
self._check_max_and_min()
return self.control.slider.minimum() + (value-self.min) / self._step_size()
def _low_changed(self, low):
if self.control is None:
return
if self._label_lo is not None:
self._label_lo.setText(self.format % low)
self.control.slider.setLow(self._convert_to_slider(low))
def _high_changed(self, high):
if self.control is None:
return
if self._label_hi is not None:
self._label_hi.setText(self.format % high)
self.control.slider.setHigh(self._convert_to_slider(self.high))
class BoundsEditor(RangeEditor):
min = Trait(None, Float)
max = Trait(None, Float)
def _get_simple_editor_class(self):
return _BoundsEditor
def _get_custom_editor_class(self):
return _BoundsEditor
|
