browser/devtools/sourceeditor/codemirror/mozilla.css

Thu, 22 Jan 2015 13:21:57 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Thu, 22 Jan 2015 13:21:57 +0100
branch
TOR_BUG_9701
changeset 15
b8a032363ba2
permissions
-rw-r--r--

Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6

     1 /* This Source Code Form is subject to the terms of the Mozilla Public
     2  * License, v. 2.0. If a copy of the MPL was not distributed with this
     3  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     5 .errors,
     6 .breakpoints {
     7   width: 16px;
     8 }
    10 .error, .breakpoint, .debugLocation, .breakpoint-debugLocation {
    11   display: inline-block;
    12   margin-left: 5px;
    13   width: 12px;
    14   height: 12px;
    15   background-repeat: no-repeat;
    16   background-position: center;
    17   background-size: contain;
    18 }
    20 .error {
    21   background-image: url("chrome://browser/skin/devtools/editor-error.png");
    22   opacity: 0.75;
    23 }
    25 .breakpoint {
    26   background-image: url("chrome://browser/skin/devtools/editor-breakpoint.png");
    27 }
    29 .debugLocation {
    30   background-image: url("chrome://browser/skin/devtools/editor-debug-location.png");
    31 }
    33 .breakpoint.debugLocation {
    34   background-image:
    35     url("chrome://browser/skin/devtools/editor-debug-location.png"),
    36     url("chrome://browser/skin/devtools/editor-breakpoint.png");
    37 }
    39 .CodeMirror {
    40   cursor: text;
    41 }
    43 .CodeMirror-gutters {
    44   cursor: default;
    45 }
    47 /* This is to avoid the fake horizontal scrollbar div of codemirror to go 0
    48 height when floating scrollbars are active. Make sure that this value is equal
    49 to the maximum of `min-height` specific to the `scrollbar[orient="horizontal"]`
    50 selector in floating-scrollbar-light.css across all platforms. */
    51 .CodeMirror-hscrollbar {
    52   min-height: 10px;
    53 }
    55 /* This is to avoid the fake vertical scrollbar div of codemirror to go 0
    56 width when floating scrollbars are active. Make sure that this value is equal
    57 to the maximum of `min-width` specific to the `scrollbar[orient="vertical"]`
    58 selector in floating-scrollbar-light.css across all platforms. */
    59 .CodeMirror-vscrollbar {
    60   min-width: 10px;
    61 }
    63 .cm-trailingspace {
    64   background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAACCAYAAAB/qH1jAAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3QUXCToH00Y1UgAAACFJREFUCNdjPMDBUc/AwNDAAAFMTAwMDA0OP34wQgX/AQBYgwYEx4f9lQAAAABJRU5ErkJggg==");
    65   opacity: 0.75;
    66   background-position: left bottom;
    67   background-repeat: repeat-x;
    68 }
    70 /* CodeMirror dialogs styling */
    72 .CodeMirror-dialog {
    73   padding: 4px 3px;
    74 }
    76 .CodeMirror-dialog,
    77 .CodeMirror-dialog input {
    78   font: message-box;
    79 }
    81 /* Fold addon */
    83 .CodeMirror-foldmarker {
    84   color: blue;
    85   text-shadow: #b9f 1px 1px 2px, #b9f -1px -1px 2px, #b9f 1px -1px 2px, #b9f -1px 1px 2px;
    86   font-family: sans-serif;
    87   line-height: .3;
    88   cursor: pointer;
    89 }
    91 .CodeMirror-foldgutter {
    92   width: 16px; /* Same as breakpoints gutter above */
    93 }
    95 .CodeMirror-foldgutter-open,
    96 .CodeMirror-foldgutter-folded {
    97   color: #555;
    98   cursor: pointer;
    99 }
   101 .CodeMirror-foldgutter-open:after {
   102   font-size: 120%;
   103   content: "\25BE";
   104 }
   106 .CodeMirror-foldgutter-folded:after {
   107   font-size: 120%;
   108   content: "\25B8";
   109 }

mercurial