some more devtool synching, to round things up

diff --git a/LCARStrek/devtools/common.css b/LCARStrek/devtools/common.css
index af4eb0d3c8d6e93227005cae2bb221ba31123b65..14d20e3a3a20d0ea46edfc2c96a884b9af316864 100644 (file)
--- a/LCARStrek/devtools/common.css
+++ b/LCARStrek/devtools/common.css
@@ -28,13 +28,8 @@ notification {
   font-size: var(--monospace-font-size);
 }
 
   font-size: var(--monospace-font-size);
 }
 

-/* Bottom-docked toolbox minimize transition */
-.devtools-toolbox-bottom-iframe {
-  transition: margin-bottom .1s;
-}

 
 /* Autocomplete Popup */
 
 /* Autocomplete Popup */

-/* Dark and light theme */

 
 .devtools-autocomplete-popup {
   border-radius: 3px;
 
 .devtools-autocomplete-popup {
   border-radius: 3px;


@@ -94,47 +89,26 @@ notification {
 .devtools-autocomplete-popup.light-theme {
 }
 
 .devtools-autocomplete-popup.light-theme {
 }
 

+.devtools-autocomplete-listbox.firebug-theme > richlistitem[selected],
+.devtools-autocomplete-listbox.firebug-theme > richlistitem:hover,

 .devtools-autocomplete-listbox.light-theme > richlistitem[selected],
 .devtools-autocomplete-listbox.light-theme > richlistitem:hover {
 /*  background-color: rgba(128,128,128,0.3); */
 }
 
 .devtools-autocomplete-listbox.light-theme > richlistitem[selected],
 .devtools-autocomplete-listbox.light-theme > richlistitem:hover {
 /*  background-color: rgba(128,128,128,0.3); */
 }
 

+.devtools-autocomplete-listbox.firebug-theme > richlistitem[selected] > .autocomplete-value,
+.devtools-autocomplete-listbox:focus.firebug-theme > richlistitem[selected] > .initial-value,

 .devtools-autocomplete-listbox.light-theme > richlistitem[selected] > .autocomplete-value,
 .devtools-autocomplete-listbox:focus.light-theme > richlistitem[selected] > .initial-value {
 /*  color: #222;*/
 }
 
 .devtools-autocomplete-listbox.light-theme > richlistitem[selected] > .autocomplete-value,
 .devtools-autocomplete-listbox:focus.light-theme > richlistitem[selected] > .initial-value {
 /*  color: #222;*/
 }
 

+.devtools-autocomplete-listbox.firebug-theme > richlistitem > label,

 .devtools-autocomplete-listbox.light-theme > richlistitem > label {
 /*  color: #666;*/
 }
 
 .devtools-autocomplete-listbox.light-theme > richlistitem > label {
 /*  color: #666;*/
 }
 

-/* Responsive container */
-
-.devtools-responsive-container {
-  -moz-box-orient: horizontal;
-}
-
-@media (max-width: 700px) {
-  .devtools-responsive-container {
-    -moz-box-orient: vertical;
-  }
-
-  .devtools-responsive-container > .devtools-side-splitter {
-    border: 0;
-    margin: 3px 0;
-    min-height: 3px;
-    height: 3px;
-    /* In some edge case the cursor is not changed to n-resize */
-    cursor: n-resize;
-  }
-
-  .devtools-responsive-container > .devtools-sidebar-tabs {
-    min-height: 35vh;
-    max-height: 75vh;
-  }
-}
-
-/* Tooltip widget (see browser/devtools/shared/widgets/Tooltip.js) */
+/* Tooltip widget (see devtools/client/shared/widgets/Tooltip.js) */

 
 .devtools-tooltip.devtools-tooltip-tooltip {
   /* If the tooltip uses a <tooltip> XUL element */
 
 .devtools-tooltip.devtools-tooltip-tooltip {
   /* If the tooltip uses a <tooltip> XUL element */


@@ -144,7 +118,6 @@ notification {
 }
 
 .devtools-tooltip .panel-arrowcontent {
 }
 
 .devtools-tooltip .panel-arrowcontent {

-  /* If the tooltip uses a <panel> XUL element instead */

   padding: 4px;
 }
 
   padding: 4px;
 }
 


@@ -185,23 +158,6 @@ notification {
 /* Tooltip: Simple Text */
 
 .devtools-tooltip-simple-text {
 /* Tooltip: Simple Text */
 
 .devtools-tooltip-simple-text {

-  background: #000000;
-  max-width: 400px;
-  margin: 0 -4px; /* Compensate for the .panel-arrowcontent padding. */
-  padding: 8px 12px;
-  white-space: pre-wrap;
-}
-
-.devtools-tooltip-simple-text:first-child {
-  margin-top: -4px;
-}
-
-.devtools-tooltip-simple-text:last-child {
-  margin-bottom: -4px;
-}
-
-.devtools-tooltip-simple-text {
-  background-color: #000000;

   max-width: 400px;
   margin: 0 -4px; /* Compensate for the .panel-arrowcontent padding. */
   padding: 8px 12px;
   max-width: 400px;
   margin: 0 -4px; /* Compensate for the .panel-arrowcontent padding. */
   padding: 8px 12px;


@@ -254,7 +210,7 @@ notification {
   background: transparent;
 }
 
   background: transparent;
 }
 

-/* Links to source code, like displaying `myfile.js:45` */
+/* links to source code, like displaying `myfile.js:45` */

 
 .devtools-source-link {
   font-family: var(--monospace-font-family);
 
 .devtools-source-link {
   font-family: var(--monospace-font-family);


@@ -262,7 +218,6 @@ notification {
   cursor: pointer;
   white-space: nowrap;
   display: flex;
   cursor: pointer;
   white-space: nowrap;
   display: flex;

-  align-self: flex-start;

   text-decoration: none;
   font-size: 11px;
   width: 12em; /* probably should be changed for each tool */
   text-decoration: none;
   font-size: 11px;
   width: 12em; /* probably should be changed for each tool */

diff --git a/LCARStrek/devtools/dark-theme.css b/LCARStrek/devtools/dark-theme.css
index bec697194dc0efd7973fb707538ae329c1382e04..9e524a0d12971a18c5a48ca30012a8c63e90857c 100644 (file)
--- a/LCARStrek/devtools/dark-theme.css
+++ b/LCARStrek/devtools/dark-theme.css
@@ -117,8 +117,7 @@ body, html {
 .cm-s-mozilla .cm-tag,
 .cm-s-mozilla .cm-header,
 .cm-s-mozilla .cm-bracket,
 .cm-s-mozilla .cm-tag,
 .cm-s-mozilla .cm-header,
 .cm-s-mozilla .cm-bracket,

-.variables-view-property > .title > .name,
-.variable-or-property[safe-getter] > .title > .name {
+.variables-view-property > .title > .name {

   color: var(--theme-highlight-pink);
 }
 
   color: var(--theme-highlight-pink);
 }
 


@@ -175,14 +174,12 @@ body, html {
   background-color: var(--theme-toolbar-background);*/
 }
 
   background-color: var(--theme-toolbar-background);*/
 }
 

-

 .theme-fg-contrast { /* To be used for text on theme-bg-contrast */
   color: #FFCF00;
 }
 
 .theme-fg-contrast { /* To be used for text on theme-bg-contrast */
   color: #FFCF00;
 }
 

-.ruleview-colorswatch,
-.computedview-colorswatch,
-.ruleview-bezierswatch {
+.ruleview-swatch,
+.computedview-colorswatch {

 /*  box-shadow: 0 0 0 1px #818181; */
 }
 
 /*  box-shadow: 0 0 0 1px #818181; */
 }
 


@@ -238,11 +235,6 @@ div.CodeMirror div.error-line {
   background: rgba(255, 0, 0, 0.2);
 }
 
   background: rgba(255, 0, 0, 0.2);
 }
 

-/* Highlight for a line that represents a stack frame's location. */
-div.CodeMirror div.debug-line {
-  background: rgba(156, 156, 255, 0.2);
-}
-

 /* Generic highlighted text */
 div.CodeMirror span.marked-text {
   background: rgba(255,207,0,0.2);
 /* Generic highlighted text */
 div.CodeMirror span.marked-text {
   background: rgba(255,207,0,0.2);


@@ -275,7 +267,7 @@ div.CodeMirror span.eval-text {
   width: 14px;
   height: 14px;
   background-repeat: no-repeat;
   width: 14px;
   height: 14px;
   background-repeat: no-repeat;

-  background-image: url("chrome://devtools/skin/controls.png");
+  background-image: url("chrome://devtools/skin/images/controls.png");

   background-size: 28px 28px;
 }
 
   background-size: 28px 28px;
 }
 


@@ -310,11 +302,11 @@ div.CodeMirror span.eval-text {
 
 @media (min-resolution: 1.1dppx) {
   .theme-twisty, .theme-checkbox {
 
 @media (min-resolution: 1.1dppx) {
   .theme-twisty, .theme-checkbox {

-    background-image: url("chrome://devtools/skin/controls@2x.png");
+    background-image: url("chrome://devtools/skin/images/controls@2x.png");

   }
 }
 
   }
 }
 

-/* XUL panel styling (see browser/devtools/shared/widgets/Tooltip.js) */
+/* XUL panel styling (see devtools/client/shared/widgets/Tooltip.js) */

 
 .theme-tooltip-panel .panel-arrowcontent {
 /*  padding: 5px; */
 
 .theme-tooltip-panel .panel-arrowcontent {
 /*  padding: 5px; */


@@ -384,7 +376,7 @@ div.CodeMirror span.eval-text {
 }
 
 .theme-tooltip-panel .devtools-tooltip-simple-text:last-child {
 }
 
 .theme-tooltip-panel .devtools-tooltip-simple-text:last-child {

- border-bottom: 0;
+  border-bottom: 0;

 }
 
 .devtools-textinput,
 }
 
 .devtools-textinput,