From 71273d9477b88cca86e6724491c1ea337ee96f05 Mon Sep 17 00:00:00 2001 From: Florian Pritz Date: Wed, 13 Jun 2012 21:27:14 +0200 Subject: switch to pygments - faster than geshi - easier to modify the css because there is only one - geshi upstream seems pretty dead Signed-off-by: Florian Pritz --- application/libraries/geshi/pycon.php | 64 ----------------------------------- 1 file changed, 64 deletions(-) delete mode 100644 application/libraries/geshi/pycon.php (limited to 'application/libraries/geshi/pycon.php') diff --git a/application/libraries/geshi/pycon.php b/application/libraries/geshi/pycon.php deleted file mode 100644 index 141d521f9..000000000 --- a/application/libraries/geshi/pycon.php +++ /dev/null @@ -1,64 +0,0 @@ ->>).*?$(?:\n\.\.\..*?$)*($)/m'; -$language_data['HIGHLIGHT_STRICT_BLOCK'][-1] = true; - -$language_data['STYLES']['SCRIPT'][-1] = 'color: #222222;'; - -if(!isset($language_data['COMMENT_REGEXP'])) { - $language_data['COMMENT_REGEXP'] = array(); -} - -$language_data['COMMENT_REGEXP'][-1] = '/(?:^|\A\s)(?:>>>|\.\.\.)/m'; -$language_data['STYLES']['COMMENTS'][-1] = 'color: #444444;'; - -?> \ No newline at end of file -- cgit v1.2.3-24-g4f1b