|
@@ -24,7 +24,7 @@ if ( !window.frameElement && window.location.protocol !== 'file:' ) {
|
|
|
}
|
|
|
|
|
|
|
|
|
-var onDocumentLoad = function ( event ) {
|
|
|
+function onDocumentLoad( event ) {
|
|
|
|
|
|
var path;
|
|
|
var pathname = window.location.pathname;
|
|
@@ -69,7 +69,7 @@ var onDocumentLoad = function ( event ) {
|
|
|
text = text.replace( /\[example:([\w\_]+)\]/gi, "[example:$1 $1]" ); // [example:name] to [example:name title]
|
|
|
text = text.replace( /\[example:([\w\_]+) ([\w\:\/\.\-\_ \s]+)\]/gi, "<a href=\"../examples/#$1\" target=\"_blank\">$2</a>" ); // [example:name title]
|
|
|
|
|
|
-
|
|
|
+
|
|
|
document.body.innerHTML = text;
|
|
|
|
|
|
// handle code snippets formatting
|