make devtools work with 25 trunk

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index 7831a2b7d8c3cb3ccc9a64418ad75c5a4fe9558a..506d60d9d598bdfa0066b2b8a90d868b95f74ff6 100644 (file)
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -261,18 +261,6 @@ devtools-menulist:-moz-focusring,
 .devtools-sidebar-tabs > tabs > tab[selected=true]:hover:active {
 }
 
-/* LCARStrek-specific adaptions */
-
-#profiler-chrome {
-  /* HACK for profiler in the dev toolbox in FF 20+. */
-  margin: -3px;
-}
-
-#profiler-chrome > box > box > .devtools-toolbar {
-  border-bottom: none;
-}
-
-
 /********************** shared/devtools/common.inc.css **********************/
 
 /* Autocomplete Popup */

diff --git a/LCARStrek/browser/devtools/netmonitor.css b/LCARStrek/browser/devtools/netmonitor.css
index 9a8bbf133429773ba4e257e3ac43e08ab9eceaa6..1b303c34b1c37acbc3bcfb9289f8aaeae064a682 100644 (file)
--- a/LCARStrek/browser/devtools/netmonitor.css
+++ b/LCARStrek/browser/devtools/netmonitor.css
@@ -59,6 +59,9 @@ window {
 .requests-menu-header-button > .button-box,
 #requests-menu-status-button > .button-box {
   border-radius: 0;
+  -moz-padding-start: 0;
+  -moz-padding-end: 0;
+  border: 0;
 }
 
 .requests-menu-header-button:hover {

diff --git a/LCARStrek/browser/devtools/profiler-stopwatch.png b/LCARStrek/browser/devtools/profiler-stopwatch.png
new file mode 100644 (file)
index 0000000..5ae3767
Binary files /dev/null and b/LCARStrek/browser/devtools/profiler-stopwatch.png differ

diff --git a/LCARStrek/browser/devtools/profiler.css b/LCARStrek/browser/devtools/profiler.css
index 30bc66bcef64a3c189772a712bf63c1bf9663ab5..bfdf77af1c1aa98bcd5cd76b917ecd5e1019e226 100644 (file)
--- a/LCARStrek/browser/devtools/profiler.css
+++ b/LCARStrek/browser/devtools/profiler.css
@@ -7,7 +7,6 @@ window {
 }
 
 .devtools-toolbar {
-  border-bottom: none;
 }
 
 .profile-name {
@@ -27,3 +26,20 @@ window {
   -moz-padding-end: 8px;
   -moz-box-align: center;
 }
+
+#profiler-start {
+  list-style-image: url("chrome://browser/skin/devtools/profiler-stopwatch.png");
+  -moz-image-region: rect(0px,16px,16px,0px);
+}
+
+#profiler-start:hover {
+  -moz-image-region: rect(16px,16px,32px,0px);
+}
+
+#profiler-start[checked] {
+  -moz-image-region: rect(0px,32px,16px,16px);
+}
+
+#profiler-start[checked]:hover {
+  -moz-image-region: rect(16px,32px,32px,16px);
+}

diff --git a/LCARStrek/browser/devtools/tool-debugger-paused.png b/LCARStrek/browser/devtools/tool-debugger-paused.png
new file mode 100644 (file)
index 0000000..d37d729
Binary files /dev/null and b/LCARStrek/browser/devtools/tool-debugger-paused.png differ

diff --git a/LCARStrek/browser/devtools/toolbox.css b/LCARStrek/browser/devtools/toolbox.css
index fcdd6bc98d84f6481c597177cef41f25e4ec31f9..5e71b4775f82db60877be17b5c7c727a9f18d9cb 100644 (file)
--- a/LCARStrek/browser/devtools/toolbox.css
+++ b/LCARStrek/browser/devtools/toolbox.css
@@ -193,6 +193,11 @@ window {
   -moz-margin-end: 3px;
 }
 
+.devtools-tab:not(.highlighted) > .highlighted-icon,
+.devtools-tab[selected=true] > .highlighted-icon,
+.devtools-tab:not([selected=true]).highlighted > .default-icon {
+  visibility: collapse;
+}
 
 #options-panel {
   /* background-image: url("chrome://browser/skin/newtab/noise.png"); */