зеркало из https://github.com/mozilla/gecko-dev.git
Bug 973691 - Make the code mirror find/go to line match the devtools theme. r=bgrins
This commit is contained in:
Родитель
6172ca8355
Коммит
e6aaae658c
|
@ -85,20 +85,6 @@ selector in floating-scrollbar-light.css across all platforms. */
|
|||
min-width: 10px;
|
||||
}
|
||||
|
||||
/* This is to make CodeMirror's dialogs more DevTool-ey. */
|
||||
|
||||
.CodeMirror-dialog {
|
||||
font: message-box;
|
||||
padding: 5px 4px;
|
||||
color: hsl(210,30%,85%);
|
||||
background-image: url("chrome://browser/skin/devtools/background-noise-toolbar.png"),
|
||||
linear-gradient(#3e4750, #3e4750);
|
||||
}
|
||||
|
||||
.CodeMirror-dialog input {
|
||||
font: message-box;
|
||||
}
|
||||
|
||||
.cm-trailingspace {
|
||||
background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAACCAYAAAB/qH1jAAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3QUXCToH00Y1UgAAACFJREFUCNdjPMDBUc/AwNDAAAFMTAwMDA0OP34wQgX/AQBYgwYEx4f9lQAAAABJRU5ErkJggg==");
|
||||
opacity: 0.75;
|
||||
|
@ -106,6 +92,17 @@ selector in floating-scrollbar-light.css across all platforms. */
|
|||
background-repeat: repeat-x;
|
||||
}
|
||||
|
||||
/* CodeMirror dialogs styling */
|
||||
|
||||
.CodeMirror-dialog {
|
||||
padding: 4px 3px;
|
||||
}
|
||||
|
||||
.CodeMirror-dialog,
|
||||
.CodeMirror-dialog input {
|
||||
font: message-box;
|
||||
}
|
||||
|
||||
/* Fold addon */
|
||||
|
||||
.CodeMirror-foldmarker {
|
||||
|
|
|
@ -156,7 +156,8 @@
|
|||
|
||||
.theme-toolbar,
|
||||
.devtools-toolbar,
|
||||
.devtools-sidebar-tabs > tabs { /* General toolbar styling */
|
||||
.devtools-sidebar-tabs > tabs,
|
||||
.CodeMirror-dialog { /* General toolbar styling */
|
||||
color: #b6babf;
|
||||
background-color: #343c45;
|
||||
border-color: hsla(210,8%,5%,.6);
|
||||
|
|
|
@ -159,7 +159,8 @@
|
|||
|
||||
.theme-toolbar,
|
||||
.devtools-toolbar,
|
||||
.devtools-sidebar-tabs > tabs { /* General toolbar styling */
|
||||
.devtools-sidebar-tabs > tabs,
|
||||
.CodeMirror-dialog { /* General toolbar styling */
|
||||
color: #585959;
|
||||
background-color: #f0f1f2;
|
||||
border-color: #aaa;
|
||||
|
|
Загрузка…
Ссылка в новой задаче