From d7bcdff9d42f9b9efd486c9492f92d1d9950d475 Mon Sep 17 00:00:00 2001 From: Peter Stadler Date: Tue, 11 Oct 2016 12:38:32 +0200 Subject: [PATCH] added processing of tei:egXML elements --- resources/js/init.js | 9 ++++ xsl/var.xsl | 104 +++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 113 insertions(+) diff --git a/resources/js/init.js b/resources/js/init.js index 7e50266d2..bf1632d94 100644 --- a/resources/js/init.js +++ b/resources/js/init.js @@ -124,6 +124,14 @@ $.fn.initDatepicker = function () { }) }; +/* Run Google Code Prettifyer for code examples */ +$.fn.googlecodeprettify = function () +{ + prettyPrint(); +} + +$('.prettyprint').googlecodeprettify(); + // remove popovers when clicking somewhere $('body').on('click', function (e) { $('[data-original-title]').each(function () { @@ -595,3 +603,4 @@ $('#create-newID').on('click', function() { $('#newID-result span').show(); }); }); + diff --git a/xsl/var.xsl b/xsl/var.xsl index e074c26bd..6b41c7f25 100644 --- a/xsl/var.xsl +++ b/xsl/var.xsl @@ -127,6 +127,19 @@ + + + + + prettyprint + + language-xml + + + + + + @@ -294,5 +307,96 @@ + + + + + + + + + + + + < + + + + + xmlns + + : + + + =' + + + + ' + + + + + + + =' + + + + ' + + + + > + + + + + + + + + + + + </ + + > + + + + + + + + + + <? + + + + + + ?> + + + + + + + + + &amp; + &lt; + &gt; + &quot; + &apos; + + + + + + + \ No newline at end of file