new checkbox control

2025-11-02 08:33:02 +00:00 · 2018-10-26 18:45:22 -04:00
parent c75938bef9
commit 7220b372bd
3 changed files with 71 additions and 7 deletions
--- a/sys/etc/ext.theme
+++ b/sys/etc/ext.theme
@@ -8,6 +8,15 @@
 	Button = {
 		--focusIndicator = '\183',
 	},
+	Checkbox = {
+		checkedIndicator = '\4',
+		leftMarker = '\124',
+		rightMarker = '\124',
+	},
+	Chooser = {
+		leftIndicator = '\17',
+		rightIndicator = '\16',
+	},
 	Grid = {
 		focusIndicator = '\183',
 		inverseSortIndicator = '\24',