1
from ConfigWidget import ConfigWidget
2
from utils.datatypes import *
6
class ConfigFloat(ConfigWidget):
8
def __init__(self, name, getter, setter, caller, int_only = False):
10
self.__int_only = int_only
12
ConfigWidget.__init__(self, name, getter, setter, caller)
14
self._register_property("min", TYPE_FLOAT, self._setp_lhd,
15
self._getp, 0.0, doc = "Lower bound")
16
self._register_property("max", TYPE_FLOAT, self._setp_lhd,
17
self._getp, 9999.0, doc = "Upper bound")
18
self._register_property("digits", TYPE_INT, self._setp_lhd,
20
doc = "Numbers of decimal digits")
21
self._register_property("increment", TYPE_FLOAT, self._setp_increment,
22
self._getp, 1, doc = "Size of increments")
23
self._register_property("value", TYPE_FLOAT, self._setp_value,
24
self._getp, 0.0, doc = "Value")
28
def get_widgets(self):
30
low = self.get_prop("min")
31
high = self.get_prop("max")
32
digits = self.get_prop("digits")
34
self.__label = gtk.Label("")
38
align = gtk.Alignment(0.0, 0.5, 0.0, 0.0)
40
align.add(self.__label)
42
adjustment = gtk.Adjustment(0, low, high, 1, 1, 0)
44
self.__spin_button = gtk.SpinButton(adjustment, 1, 0)
46
self.__spin_button = gtk.SpinButton(adjustment, 1, digits)
47
self.__spin_button.set_numeric(True)
48
self.__spin_button.show()
50
self.__spin_button.connect("value-changed", self.__on_change)
52
return (align, self.__spin_button)
55
def __on_change(self, src):
58
value = src.get_value_as_int()
60
value = src.get_value()
62
self._set_config(value)
65
def _set_enabled(self, value): self.__spin_button.set_sensitive(value)
66
def _set_label(self, value): self.__label.set_text(value)
69
def _setp_lhd(self, key, value):
71
low, high = self.__spin_button.get_range()
73
self.__spin_button.set_range(value, high)
75
self.__spin_button.set_range(low, value)
76
elif (key == "digits"):
77
self.__spin_button.set_digits(value)
79
self._setp(key, value)
82
def _setp_increment(self, key, value):
84
self.__spin_button.set_increments(value, value * 10);
85
self._setp(key, value)
87
def _setp_value(self, key, value):
89
self.__spin_button.set_value(value)
90
self._setp(key, value)