1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19 import wx
20
21
23
24 - def __init__(self, parent, show_time=False, config=None):
28
31
33 self.time_picker.SetValue(int(round(num_time,0)))
34
36 self.time_picker.SetRange(min, max)
37
39 self.time_picker.SetSelection(0, len(str(self.get_value())))
40
42 time_picker = wx.SpinCtrl(self, -1, "", (30, 50))
43 self.Bind(wx.EVT_SPINCTRL, self.OnSpin, time_picker)
44
45 sizer = wx.BoxSizer(wx.HORIZONTAL)
46 sizer.Add(time_picker, proportion=0, flag=wx.ALIGN_CENTER_VERTICAL)
47 self.SetSizerAndFit(sizer)
48 return time_picker
49
52
53
55
56 - def __init__(self, time_picker, default_num_time):
57 self.time_picker = time_picker
58 self.time_picker.set_range(-10000, 10000)
59 self.default_num_time = default_num_time
60
62 num_time = self.time_picker.get_value()
63 return num_time
64
66 if num_time == None:
67 num_time = self.default_num_time
68 self.time_picker.set_value(num_time)
69
72