devhttps
diff --git a/‎CodeMirror-4.7/LICENSE‎ ‎CodeMirror/LICENSE‎CodeMirror-4.7/LICENSE renamed to CodeMirror/LICENSE b/‎CodeMirror-4.7/LICENSE‎ ‎CodeMirror/LICENSE‎CodeMirror-4.7/LICENSE renamed to CodeMirror/LICENSE
diff --git a/‎CodeMirror-4.7/addon/hint/show-hint.css‎ ‎CodeMirror/addon/hint/show-hint.css‎CodeMirror-4.7/addon/hint/show-hint.css renamed to CodeMirror/addon/hint/show-hint.css b/‎CodeMirror-4.7/addon/hint/show-hint.css‎ ‎CodeMirror/addon/hint/show-hint.css‎CodeMirror-4.7/addon/hint/show-hint.css renamed to CodeMirror/addon/hint/show-hint.css
diff --git a/‎CodeMirror-4.7/addon/lint/lint.css‎ ‎CodeMirror/addon/lint/lint.css‎CodeMirror-4.7/addon/lint/lint.css renamed to CodeMirror/addon/lint/lint.css
Lines changed: 2 additions & 2 deletions b/‎CodeMirror-4.7/addon/lint/lint.css‎ ‎CodeMirror/addon/lint/lint.css‎CodeMirror-4.7/addon/lint/lint.css renamed to CodeMirror/addon/lint/lint.css
Lines changed: 2 additions & 2 deletions
diff --git a/‎…eMirror-4.7/lib/codemirror-compressed.js‎ ‎CodeMirror/lib/codemirror-compressed.js‎CodeMirror-4.7/lib/codemirror-compressed.js renamed to CodeMirror/lib/codemirror-compressed.js b/‎…eMirror-4.7/lib/codemirror-compressed.js‎ ‎CodeMirror/lib/codemirror-compressed.js‎CodeMirror-4.7/lib/codemirror-compressed.js renamed to CodeMirror/lib/codemirror-compressed.js
diff --git a/‎CodeMirror-4.7/lib/codemirror.css‎ ‎CodeMirror/lib/codemirror.css‎CodeMirror-4.7/lib/codemirror.css renamed to CodeMirror/lib/codemirror.css b/‎CodeMirror-4.7/lib/codemirror.css‎ ‎CodeMirror/lib/codemirror.css‎CodeMirror-4.7/lib/codemirror.css renamed to CodeMirror/lib/codemirror.css
diff --git a/‎CodeMirror-4.7/theme/3024-day.css‎ ‎CodeMirror/theme/3024-day.css‎CodeMirror-4.7/theme/3024-day.css renamed to CodeMirror/theme/3024-day.css b/‎CodeMirror-4.7/theme/3024-day.css‎ ‎CodeMirror/theme/3024-day.css‎CodeMirror-4.7/theme/3024-day.css renamed to CodeMirror/theme/3024-day.css
diff --git a/‎CodeMirror-4.7/theme/3024-night.css‎ ‎CodeMirror/theme/3024-night.css‎CodeMirror-4.7/theme/3024-night.css renamed to CodeMirror/theme/3024-night.css b/‎CodeMirror-4.7/theme/3024-night.css‎ ‎CodeMirror/theme/3024-night.css‎CodeMirror-4.7/theme/3024-night.css renamed to CodeMirror/theme/3024-night.css
diff --git a/‎CodeMirror-4.7/theme/ambiance.css‎ ‎CodeMirror/theme/ambiance.css‎CodeMirror-4.7/theme/ambiance.css renamed to CodeMirror/theme/ambiance.css b/‎CodeMirror-4.7/theme/ambiance.css‎ ‎CodeMirror/theme/ambiance.css‎CodeMirror-4.7/theme/ambiance.css renamed to CodeMirror/theme/ambiance.css
diff --git a/‎CodeMirror-4.7/theme/base16-dark.css‎ ‎CodeMirror/theme/base16-dark.css‎CodeMirror-4.7/theme/base16-dark.css renamed to CodeMirror/theme/base16-dark.css b/‎CodeMirror-4.7/theme/base16-dark.css‎ ‎CodeMirror/theme/base16-dark.css‎CodeMirror-4.7/theme/base16-dark.css renamed to CodeMirror/theme/base16-dark.css
diff --git a/‎CodeMirror-4.7/theme/base16-light.css‎ ‎CodeMirror/theme/base16-light.css‎CodeMirror-4.7/theme/base16-light.css renamed to CodeMirror/theme/base16-light.css b/‎CodeMirror-4.7/theme/base16-light.css‎ ‎CodeMirror/theme/base16-light.css‎CodeMirror-4.7/theme/base16-light.css renamed to CodeMirror/theme/base16-light.css
@@ -1,6 +1,6 @@
 /* The lint marker gutter */
 .CodeMirror-lint-markers {
-  width: 12px; margin-left: 2px;
+  width: 16px;
 }
 
 .CodeMirror-lint-tooltip {
@@ -43,7 +43,7 @@
 .CodeMirror-lint-marker-error, .CodeMirror-lint-marker-warning {
   background-position: center center;
   background-repeat: no-repeat;
-  cursor: help;
+  cursor: pointer;
   display: inline-block;
   height: 16px;
   width: 16px;