version 1.57, 2015/05/06 08:35:39 |
version 1.58, 2015/05/11 10:58:22 |
|
|
"#{?pane_dead,[dead],}" |
"#{?pane_dead,[dead],}" |
}, |
}, |
|
|
{ .name = "c0-change-trigger", |
|
.type = OPTIONS_TABLE_NUMBER, |
|
.default_num = 250, |
|
.minimum = 0, |
|
.maximum = USHRT_MAX |
|
}, |
|
|
|
{ .name = "c0-change-interval", |
|
.type = OPTIONS_TABLE_NUMBER, |
|
.default_num = 100, |
|
.minimum = 1, |
|
.maximum = USHRT_MAX |
|
}, |
|
|
|
{ .name = "clock-mode-colour", |
{ .name = "clock-mode-colour", |
.type = OPTIONS_TABLE_COLOUR, |
.type = OPTIONS_TABLE_COLOUR, |
.default_num = 4 |
.default_num = 4 |