mirrors/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2025-09-08 13:56:07 +00:00
Code Issues Releases Wiki Activity

Update KeyboardWidget.tid (#4606)

Browse Source 
Add railroad for key strings.
This commit is contained in:
twMat
2020-06-13 20:29:38 +02:00
committed by GitHub
parent e3ad276dd0
commit 2f55a8808c
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
editions/tw5.com/tiddlers/widgets/KeyboardWidget.tid
View File

@@ -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:
```