dnebauer
dc74fc4306
Update url of highlight.js github project ( #3672 )
...
Github repo of the highlight.js project has changed from `github.com/isagalaev/highlight.js` to `github.com/highlightjs/highlight.js`.
2019-01-14 09:31:29 +00:00
Jermolene
534f5e7c13
Revert "Add text/vnd.tiddlywiki to system tiddlers within plugins that should be wikified (c.f. #2883 )"
...
This reverts commit 7436fc7374
2017-06-24 17:48:32 +01:00
Jermolene
7436fc7374
Add text/vnd.tiddlywiki to system tiddlers within plugins that should be wikified (c.f. #2883 )
2017-06-09 15:52:19 +01:00
Jermolene
ee9d19d299
Fix problem with highlight plugin language brushes
...
TiddlyWiki passes the MIME type of the tiddler to highlight.js as the
"language brush", but it turns out that highlight.js doesn't actually
understand MIME types. This commit introduces a configuration mapping
between common MIME types and highlight.js language brushes
Fixes #2535
2016-08-18 09:07:06 +01:00
Jermolene
c80db86b67
Update to v8.8.0 of highlight.js
2015-09-11 19:53:06 +01:00
Jermolene
f2a7f00870
Improve plugin readmes
...
Now every plugin has a short, introductory readme tiddler that is shown
in the online plugin library.
2015-03-19 10:53:45 +00:00
