7 Commits

Author	SHA1	Message	Date
Simon Huber	a4b24670f6	Update highlight.js to latest release v9.15.6 (#3635) ... * update highlight.js to latest release v9.13.1 * update to v9.13.1 default.css does the current default.css include adjustments for the different languages? * Update highlight.pack.js * Update readme.tid * update highlight.pack to 9.15.6 * update version number + included languages	2019-03-12 12:04:38 +00:00
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