New plugins in an example page (#431)

* Add code and marker

* update

* Add shortcuts

* Change marker shortcut

* Update marker
This commit is contained in:
Polina Shneider 2018-08-21 21:30:32 +03:00 committed by GitHub
commit 0ea3197a73
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
6 changed files with 44 additions and 25 deletions

1
example/tools/code Submodule

@ -0,0 +1 @@
Subproject commit 2196eac8d8e57397f99f7aa0f135361f4a2b5800

1
example/tools/marker Submodule

@ -0,0 +1 @@
Subproject commit 9d16ccf1458e8cf90fc04c30cfc174fec4e7409c