added border and number timer (closes #14)

This commit is contained in:
Nathan DECHER 2020-04-06 13:56:36 +02:00
parent 23535d17d8
commit 338934866b
3 changed files with 79 additions and 10 deletions

View file

@ -16,5 +16,6 @@
"input.buffer": false,
"appearance.grid": "none"
"appearance.grid": "none",
"appearance.timer": "both"
}

View file

@ -117,5 +117,17 @@
"checkerboard"
]
}
},
"appearance.timer": {
"name": "Timer display",
"type": "choice",
"bounds": {
"choices": [
"none",
"border",
"number",
"both"
]
}
}
}