Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

better gutter color, background, size

  • Loading branch information...
commit f7f7eeb5b4cdc317691ff2c41fbe1de65ca92efa 1 parent 35b7089
@mzero authored
View
4 TODO
@@ -72,13 +72,13 @@ Source Editor
[] pop-out preview into own window (and leave there)
CodeMirror2
- [] gutter color doesn't extend to left edge when not-edited
+ [x] gutter color doesn't extend to left edge when not-edited
[] flaky initial display of rest of paragraph (call refresh?)
[x] re-organize haskell mode files (.js and .css)
[?] enable other modes
[] bug w/onChange being called on creation
[] bug: doesn't matchBracket when typing the closer
- [] bug: double-clicking
+ [] bug: double-clicking & drag
[] modes should be compressed into one .js and one .css file
Compilation
View
2  seed/static/barley.css
@@ -307,7 +307,7 @@ body.with-topbar {
line-height: 124%;
margin: 1em 0;
overflow: hidden;
- background: #ffffe5;
+ background: #ededda;
border: 1px solid #b1b18e;
padding-left: 0.75em;
}
View
54 seed/static/codemirror.css
@@ -1,26 +1,68 @@
+/* @override http://localhost:8080/static/codemirror.css */
+
+#editor-box {
+ font-family:monospace;
+ font-size: 93%; /* 12pt */
+ line-height: 124%;
+ margin: 1em 0;
+ overflow: hidden;
+ background: #ededda;
+ border: 1px solid #b1b18e;
+}
+
.CodeMirror {
line-height: 1em;
font-family: monospace;
- x-background: #fff !important;
background: #ffffe5;
}
.CodeMirror-gutter {
position: absolute; left: 0; top: 0;
- background-color: #f7f7f7;
- color: #aaa;
- border-right: 1px solid #eee;
- min-width: 3em;
+ background: #ededda;
+ color: #888;
+ border-right: 1px solid #ccb;
+ min-width: 4em;
height: 100%;
}
+#editor-box.editable .CodeMirror-gutter {
+ background: #ededda url(stripe.png) repeat-y;
+}
.CodeMirror-gutter-text {
text-align: right;
- padding: .5em .25em .5em .5em;
+ padding: .5em .25em;
+}
+
+.CodeMirror-gutter-text .error-line {
+ color: #ff4d4d;
+ font-weight: bold;
+ background: url(silk/exclamation.png) no-repeat 10px -1px;
+ position: relative;
}
+.error-details {
+ display: none;
+ position: absolute;
+ text-align: left;
+ background-color: #ffe5e5;
+ margin: 0;
+ padding: 4px;
+ color: #7f3500;
+ font-size: 92.3%;
+ border: 1px solid #b1b18e;
+}
+
.CodeMirror-lines {
padding: .5em;
}
+.CodeMirror .editor-column-marker {
+ position: absolute;
+ top: 0;
+ height: 100%;
+ left: 4em;
+ background-color: transparent;
+ border-left: 1px dashed #e0e0b4;
+}
+
.CodeMirror pre {
margin: 0; padding: 0;
font-family: inherit;
View
BIN  seed/static/stripe.png
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Please sign in to comment.
Something went wrong with that request. Please try again.