Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(266)

Side by Side Diff: Source/devtools/front_end/cm/codemirror.css

Issue 15846008: DevTools: update CM to TOT version 3.13+ (6edd771495) (Closed) Base URL: svn://svn.chromium.org/blink/trunk
Patch Set: Created 7 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « no previous file | Source/devtools/front_end/cm/codemirror.js » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 /* BASICS */ 1 /* BASICS */
2 2
3 .CodeMirror { 3 .CodeMirror {
4 /* Set height, width, borders, and global font properties here */ 4 /* Set height, width, borders, and global font properties here */
5 font-family: monospace; 5 font-family: monospace;
6 height: 300px; 6 height: 300px;
7 } 7 }
8 .CodeMirror-scroll { 8 .CodeMirror-scroll {
9 /* Set scrolling behaviour here */ 9 /* Set scrolling behaviour here */
10 overflow: auto; 10 overflow: auto;
11 } 11 }
12 12
13 /* PADDING */ 13 /* PADDING */
14 14
15 .CodeMirror-lines { 15 .CodeMirror-lines {
16 padding: 4px 0; /* Vertical padding around content */ 16 padding: 4px 0; /* Vertical padding around content */
17 } 17 }
18 .CodeMirror pre { 18 .CodeMirror pre {
19 padding: 0 4px; /* Horizontal padding of content */ 19 padding: 0 4px; /* Horizontal padding of content */
20 } 20 }
21 21
22 .CodeMirror-scrollbar-filler { 22 .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
23 background-color: white; /* The little square between H and V scrollbars */ 23 background-color: white; /* The little square between H and V scrollbars */
24 } 24 }
25 25
26 /* GUTTER */ 26 /* GUTTER */
27 27
28 .CodeMirror-gutters { 28 .CodeMirror-gutters {
29 border-right: 1px solid #ddd; 29 border-right: 1px solid #ddd;
30 background-color: #f7f7f7; 30 background-color: #f7f7f7;
31 white-space: nowrap;
31 } 32 }
32 .CodeMirror-linenumbers {} 33 .CodeMirror-linenumbers {}
33 .CodeMirror-linenumber { 34 .CodeMirror-linenumber {
34 padding: 0 3px 0 5px; 35 padding: 0 3px 0 5px;
35 min-width: 20px; 36 min-width: 20px;
36 text-align: right; 37 text-align: right;
37 color: #999; 38 color: #999;
38 } 39 }
39 40
40 /* CURSOR */ 41 /* CURSOR */
(...skipping 76 matching lines...) Expand 10 before | Expand all | Expand 10 after
117 outline: none; /* Prevent dragging from highlighting the element */ 118 outline: none; /* Prevent dragging from highlighting the element */
118 position: relative; 119 position: relative;
119 } 120 }
120 .CodeMirror-sizer { 121 .CodeMirror-sizer {
121 position: relative; 122 position: relative;
122 } 123 }
123 124
124 /* The fake, visible scrollbars. Used to force redraw during scrolling 125 /* The fake, visible scrollbars. Used to force redraw during scrolling
125 before actuall scrolling happens, thus preventing shaking and 126 before actuall scrolling happens, thus preventing shaking and
126 flickering artifacts. */ 127 flickering artifacts. */
127 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler { 128 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .C odeMirror-gutter-filler {
128 position: absolute; 129 position: absolute;
129 z-index: 6; 130 z-index: 6;
130 display: none; 131 display: none;
131 } 132 }
132 .CodeMirror-vscrollbar { 133 .CodeMirror-vscrollbar {
133 right: 0; top: 0; 134 right: 0; top: 0;
134 overflow-x: hidden; 135 overflow-x: hidden;
135 overflow-y: scroll; 136 overflow-y: scroll;
136 } 137 }
137 .CodeMirror-hscrollbar { 138 .CodeMirror-hscrollbar {
138 bottom: 0; left: 0; 139 bottom: 0; left: 0;
139 overflow-y: hidden; 140 overflow-y: hidden;
140 overflow-x: scroll; 141 overflow-x: scroll;
141 } 142 }
142 .CodeMirror-scrollbar-filler { 143 .CodeMirror-scrollbar-filler {
143 right: 0; bottom: 0; 144 right: 0; bottom: 0;
144 z-index: 6; 145 }
146 .CodeMirror-gutter-filler {
147 left: 0; bottom: 0;
145 } 148 }
146 149
147 .CodeMirror-gutters { 150 .CodeMirror-gutters {
148 position: absolute; left: 0; top: 0; 151 position: absolute; left: 0; top: 0;
149 height: 100%;
150 padding-bottom: 30px; 152 padding-bottom: 30px;
151 z-index: 3; 153 z-index: 3;
152 } 154 }
153 .CodeMirror-gutter { 155 .CodeMirror-gutter {
156 white-space: normal;
154 height: 100%; 157 height: 100%;
155 padding-bottom: 30px; 158 padding-bottom: 30px;
156 margin-bottom: -32px; 159 margin-bottom: -32px;
157 display: inline-block; 160 display: inline-block;
158 /* Hack to make IE7 behave */ 161 /* Hack to make IE7 behave */
159 *zoom:1; 162 *zoom:1;
160 *display:inline; 163 *display:inline;
161 } 164 }
162 .CodeMirror-gutter-elt { 165 .CodeMirror-gutter-elt {
163 position: absolute; 166 position: absolute;
(...skipping 73 matching lines...) Expand 10 before | Expand all | Expand 10 after
237 240
238 /* IE7 hack to prevent it from returning funny offsetTops on the spans */ 241 /* IE7 hack to prevent it from returning funny offsetTops on the spans */
239 .CodeMirror span { *vertical-align: text-bottom; } 242 .CodeMirror span { *vertical-align: text-bottom; }
240 243
241 @media print { 244 @media print {
242 /* Hide the cursor when printing */ 245 /* Hide the cursor when printing */
243 .CodeMirror div.CodeMirror-cursor { 246 .CodeMirror div.CodeMirror-cursor {
244 visibility: hidden; 247 visibility: hidden;
245 } 248 }
246 } 249 }
OLDNEW
« no previous file with comments | « no previous file | Source/devtools/front_end/cm/codemirror.js » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698