From 975a016974770cff9ef72eb75e2a86680b943a33 Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Tue, 11 Dec 2012 18:04:57 +0000 Subject: [PATCH] Added width setting twice --- editor.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/editor.php b/editor.php index f3ab724..df2159a 100644 --- a/editor.php +++ b/editor.php @@ -18,7 +18,7 @@ if ($ICEcoder["theme"]=="default") {echo 'lib/editor.css';} else {echo $ICEcoder $activeLineBG = $ICEcoder["theme"]=="eclipse" || $ICEcoder["theme"]=="elegant" || $ICEcoder["theme"]=="neat" ? "#ccc" : "#000"; ?>">