From 2f55a8808c20cfab4f7fa53d6b0abe50025b94a4 Mon Sep 17 00:00:00 2001
From: twMat <boardsmm@gmail.com>
Date: Sat, 13 Jun 2020 20:29:38 +0200
Subject: [PATCH] Update KeyboardWidget.tid (#4606)

Add railroad for key strings.
---
 editions/tw5.com/tiddlers/widgets/KeyboardWidget.tid | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/editions/tw5.com/tiddlers/widgets/KeyboardWidget.tid b/editions/tw5.com/tiddlers/widgets/KeyboardWidget.tid
index b38786f28..70ca38f46 100644
--- a/editions/tw5.com/tiddlers/widgets/KeyboardWidget.tid
+++ b/editions/tw5.com/tiddlers/widgets/KeyboardWidget.tid
@@ -25,6 +25,15 @@ The content of the `<$keyboard>` widget is rendered normally. The keyboard short
 
 Key strings are made up of one or more key specifiers separated by spaces. Each key specifier is zero or more of the modifiers <kbd>alt</kbd>, <kbd>shift</kbd>, <kbd>ctrl</kbd> or <kbd>meta</kbd> followed by the name of a key, all joined with "+" plus or "-" minus symbols. Key names are either the letter or digit printed on the key (eg "a" or "1"), or one of the special keys <kbd>backspace</kbd>, <kbd>tab</kbd>, <kbd>enter</kbd> or <kbd>escape</kbd>.
 
+<$railroad text="""
+[: {
+   ("alt" | "shift" | "ctrl" |: "meta" ) +("+" | "-") 
+	 }
+	 "+" 
+]
+( "<a-z,0-9>" | "backspace" |: "tab" | "enter" | "escape" )
+"""/>
+
 For example:
 
 ```