added border and number timer (closes #14)

2020-04-06 13:56:36 +02:00
parent b0ea58df66
commit 6ea0a3487d
3 changed files with 79 additions and 10 deletions
@@ -16,5 +16,6 @@

 	"input.buffer": false,

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