Move codemirror css to separate file

3 files changed, 88 insertions, 2 deletions

diff --git a/themes/original/css/common.css.php b/themes/original/css/common.css.php
index a1058d60cc..1e17fdb07f 100644
--- a/themes/original/css/common.css.php
+++ b/themes/original/css/common.css.php
@@ -2123,7 +2123,7 @@ fieldset .disabled-field td {
     top: 103px;
 }
 
-<?php echo $_SESSION['PMA_Theme']->getCssCodeMirror(true); ?>
+<?php echo $_SESSION['PMA_Theme']->getCssCodeMirror(); ?>
 
 .colborder {
     cursor: col-resize;
diff --git a/themes/pmahomme/css/codemirror.css.php b/themes/pmahomme/css/codemirror.css.php
new file mode 100644
index 0000000000..a45c7bb337
--- /dev/null
+++ b/themes/pmahomme/css/codemirror.css.php
@@ -0,0 +1,86 @@
+.CodeMirror {
+  font-size: 140%;
+  font-family: monospace;
+  background: #fff;
+  border: 1px solid #000;
+}
+
+.CodeMirror-scroll {
+  overflow: auto;
+  height: <?php echo ceil($GLOBALS['cfg']['TextareaRows'] * 1.2); ?>em;
+  /* This is needed to prevent an IE[67] bug where the scrolled content
+     is visible outside of the scrolling box. */
+  position: relative;
+}
+
+.CodeMirror-gutter {
+  position: absolute; left: 0; top: 0;
+  z-index: 10;
+  background-color: #f7f7f7;
+  border-right: 1px solid #eee;
+  min-width: 2em;
+  height: 100%;
+}
+.CodeMirror-gutter-text {
+  color: #aaa;
+  text-align: right;
+  padding: .4em .2em .4em .4em;
+  white-space: pre !important;
+}
+.CodeMirror-lines {
+  padding: .4em;
+}
+
+.CodeMirror pre {
+  -moz-border-radius: 0;
+  -webkit-border-radius: 0;
+  -o-border-radius: 0;
+  border-radius: 0;
+  border-width: 0; margin: 0; padding: 0; background: transparent;
+  font-family: inherit;
+  font-size: inherit;
+  padding: 0; margin: 0;
+  white-space: pre;
+  word-wrap: normal;
+}
+
+.CodeMirror-wrap pre {
+  word-wrap: break-word;
+  white-space: pre-wrap;
+}
+.CodeMirror-wrap .CodeMirror-scroll {
+  overflow-x: hidden;
+}
+
+.CodeMirror textarea {
+  font-family: inherit !important;
+  font-size: inherit !important;
+}
+
+.CodeMirror-cursor {
+  z-index: 10;
+  position: absolute;
+  visibility: hidden;
+  border-left: 1px solid black !important;
+}
+
+.CodeMirror-focused .CodeMirror-cursor {
+  visibility: visible;
+}
+
+span.CodeMirror-selected {
+  background: #ccc !important;
+  color: HighlightText !important;
+}
+
+.CodeMirror-focused span.CodeMirror-selected {
+  background: Highlight !important;
+}
+
+.CodeMirror-matchingbracket {
+    color: #0f0 !important;
+}
+
+.CodeMirror-nonmatchingbracket {
+    color: #f22 !important;
+}
diff --git a/themes/pmahomme/css/common.css.php b/themes/pmahomme/css/common.css.php
index 8151e8b52b..f385746062 100644
--- a/themes/pmahomme/css/common.css.php
+++ b/themes/pmahomme/css/common.css.php
@@ -2587,7 +2587,7 @@ fieldset .disabled-field td {
     top: 103px;
 }
 
-<?php echo $_SESSION['PMA_Theme']->getCssCodeMirror(true); ?>
+<?php echo $_SESSION['PMA_Theme']->getCssCodeMirror(); ?>
 
 .colborder {
     cursor: col-resize;