From 2624469d61ba0c5a3dddcdf7a7ed2cc91a7396fb Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Thu, 12 Jun 2014 16:54:09 +0100
Subject: [PATCH] Include pesticide.js if exists, doPesticide on key

---
 editor.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/editor.php b/editor.php
index 94c5519..88c81aa 100644
--- a/editor.php
+++ b/editor.php
@@ -26,6 +26,10 @@ addon:	brace-fold, closetag, css-hint, html-hint, javascript-hint, javascript-li
 if (file_exists(dirname(__FILE__)."/plugins/emmet/emmet.min.js")) {
 	echo '<script src="plugins/emmet/emmet.min.js"></script>';
 };?>
+<?php
+if (file_exists(dirname(__FILE__)."/plugins/pesticide/pesticide.js")) {
+	echo '<script src="plugins/pesticide/pesticide.js"></script>';
+};?>
 <link rel="stylesheet" href="<?php
 if ($ICEcoder["theme"]=="default") {echo 'lib/editor.css';} else {echo $ICEcoder["codeMirrorDir"].'/theme/'.$ICEcoder["theme"].'.css';};
 $activeLineBG = array_search($ICEcoder["theme"],array("3024-day","base16-light","eclipse","elegant","neat","solarized","xq-light")) !== false ? "#ccc" : "#000";
@@ -268,6 +272,8 @@ function createNewCMInstance(num) {
 						top.ICEcoder.previewWindow.document.documentElement.appendChild(style);
 					}
 				}
+				// Do the pesticide plugin if it exists
+				try {top.ICEcoder.doPesticide();} catch(err) {};
 			}
 		}
 	);