From ef8190612feec39848a00bce852e0c1c64e2491c Mon Sep 17 00:00:00 2001
From: Matt Pass <matt@mattpass.com>
Date: Sat, 23 Jun 2012 17:16:13 +0100
Subject: [PATCH] Now using codemirror-compressed.js

No need for JS mode file either, included in codemirror-compressed.js
---
 lib/settings-screen.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/lib/settings-screen.php b/lib/settings-screen.php
index ff8619b..e12e470 100644
--- a/lib/settings-screen.php
+++ b/lib/settings-screen.php
@@ -8,8 +8,7 @@
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
 <link rel="stylesheet" type="text/css" href="settings-screen.css">
 <link rel="stylesheet" href="../<?php echo $codeMirrorDir; ?>/lib/codemirror.css">
-<script src="../<?php echo $codeMirrorDir; ?>/lib/codemirror.js"></script>
-<script src="../<?php echo $codeMirrorDir; ?>/mode/javascript/javascript.js"></script>
+<script src="../<?php echo $codeMirrorDir; ?>/lib/codemirror-compressed.js"></script>
 
 <style type="text/css">
 .CodeMirror {position: absolute; width: 0; background-color: #fff; font-family: monospace}