|
|
Spintime
| Option |
Resource |
Class |
Default |
| -arroworient |
arrowOrient |
Orient |
vertical |
| -background |
background |
Background |
#dcdcdc |
| -clientdata |
clientData |
ClientData |
|
| -cursor |
cursor |
Cursor |
|
| -foreground |
foreground |
Foreground |
#000000 |
| -hourlabel |
hourLabel |
Text |
Hour |
| -houron |
hourOn |
HourOn |
true |
| -hourwidth |
hourWidth |
Width |
3 |
| -labelfont |
labelFont |
Font |
Helvetica |
| -labelmargin |
labelMargin |
Margin |
2 |
| -labelpos |
labelPos |
Position |
w |
| -militaryon |
militaryOn |
MilitaryOn |
true |
| -minutelabel |
minuteLabel |
Text |
Minute |
| -minuteon |
minuteOn |
MinuteOn |
true |
| -minutewidth |
minuteWidth |
Width |
3 |
| -orient |
orient |
Orient |
vertical |
| -relief |
relief |
Relief |
sunken |
| -repeatdelay |
repeatDelay |
RepeatDelay |
300 |
| -repeatinterval |
repeatInterval |
RepeatInterval |
100 |
| -secondlabel |
secondLabel |
Text |
Second |
| -secondon |
secondOn |
SecondOn |
true |
| -secondwidth |
secondWidth |
Width |
3 |
| -textbackground |
textBackground |
Background |
#d9d9d9 |
| -textfont |
textFont |
Font |
Helvetica |
| -timemargin |
timeMargin |
Margin |
1 |
|
