mirror of
https://github.com/TiddlyWiki/TiddlyWiki5.git
synced 2026-04-30 12:36:44 +00:00
Introduce railroad plugin
This commit is contained in:
16
plugins/tiddlywiki/railroad/doc/example.tid
Normal file
16
plugins/tiddlywiki/railroad/doc/example.tid
Normal file
@@ -0,0 +1,16 @@
|
||||
created: 20150102165032410
|
||||
modified: 20150102172010663
|
||||
tags:
|
||||
title: $:/plugins/tiddlywiki/railroad/example
|
||||
|
||||
<$railroad text={{$:/plugins/tiddlywiki/railroad/example-source}}/>
|
||||
|
||||
```
|
||||
<$railroad text="""
|
||||
["+"]
|
||||
({digit} | "#" <'escape sequence'>)
|
||||
[{("@" name-char | :"--" )}]
|
||||
"""/>
|
||||
```
|
||||
|
||||
<$railroad mode="debug" text={{$:/plugins/tiddlywiki/railroad/example-source}}/>
|
||||
Reference in New Issue
Block a user