Home
last modified time | relevance | path

Searched refs:TimeElem (Results 1 – 1 of 1) sorted by relevance

/dports/deskutils/treeline/TreeLine/source/
H A Ddataeditors.py1517 TimeElem = enum.Enum('TimeElem', 'hour minute second') variable
1547 self.hourBox = TimeSpinBox(TimeElem.hour, 1, 12, False)
1553 self.minuteBox = TimeSpinBox(TimeElem.minute, 0, 59, True)
1663 focusChanged = pyqtSignal(TimeElem, bool)
1807 handLengths = {TimeElem.hour: int(radius * 0.5),
1808 TimeElem.minute: int(radius * 0.9),
1809 TimeElem.second: int(radius * 0.95)}
1810 handWidths = {TimeElem.hour: 7, TimeElem.minute: 5, TimeElem.second: 2}
1811 divisor = {TimeElem.hour: 120, TimeElem.minute: 10, TimeElem.second: 1 / 6}
1860 if self.hands[0] == TimeElem.hour:
[all …]