зеркало из https://github.com/mozilla/gecko-dev.git
Backed out changeset 78f117b43e0a (bug 1464785) for devtools failures on browser_parsable_css.js. CLOSED TREE
This commit is contained in:
Родитель
19dbb3ce5e
Коммит
6060756652
|
@ -89,12 +89,11 @@
|
||||||
loadEvents.push(loadPromise);
|
loadEvents.push(loadPromise);
|
||||||
}
|
}
|
||||||
|
|
||||||
if (os !== "win") {
|
|
||||||
// Windows always uses native scrollbars, other platforms might use custom floating
|
|
||||||
// scrollbar implementation.
|
|
||||||
try {
|
try {
|
||||||
const StylesheetUtils = require("devtools/shared/layout/utils");
|
const StylesheetUtils = require("devtools/shared/layout/utils");
|
||||||
const SCROLLBARS_URL = "chrome://devtools/skin/floating-scrollbars-dark-theme.css";
|
const SCROLLBARS_URL = "chrome://devtools/skin/floating-scrollbars-dark-theme.css";
|
||||||
|
|
||||||
|
// TODO: extensions might want to customize scrollbar styles too.
|
||||||
if (!Services.appShell.hiddenDOMWindow
|
if (!Services.appShell.hiddenDOMWindow
|
||||||
.matchMedia("(-moz-overlay-scrollbars)").matches) {
|
.matchMedia("(-moz-overlay-scrollbars)").matches) {
|
||||||
if (newTheme == "dark") {
|
if (newTheme == "dark") {
|
||||||
|
@ -107,7 +106,6 @@
|
||||||
} catch (e) {
|
} catch (e) {
|
||||||
console.warn("customize scrollbar styles is only supported in firefox");
|
console.warn("customize scrollbar styles is only supported in firefox");
|
||||||
}
|
}
|
||||||
}
|
|
||||||
|
|
||||||
Promise.all(loadEvents).then(() => {
|
Promise.all(loadEvents).then(() => {
|
||||||
// Unload all stylesheets and classes from the old theme.
|
// Unload all stylesheets and classes from the old theme.
|
||||||
|
|
|
@ -31,13 +31,6 @@
|
||||||
--monospace-font-family: monospace;
|
--monospace-font-family: monospace;
|
||||||
}
|
}
|
||||||
|
|
||||||
:root.theme-dark[platform="win"] {
|
|
||||||
/* Set colors for native scrollbars on Windows dark theme */
|
|
||||||
/* Other platforms support for scrollbar theming is Bug 1460109 */
|
|
||||||
scrollbar-face-color: var(--theme-body-color-inactive);
|
|
||||||
scrollbar-track-color: var(--theme-splitter-color);
|
|
||||||
}
|
|
||||||
|
|
||||||
.devtools-monospace {
|
.devtools-monospace {
|
||||||
font-family: var(--monospace-font-family);
|
font-family: var(--monospace-font-family);
|
||||||
}
|
}
|
||||||
|
|
|
@ -47,9 +47,13 @@
|
||||||
-moz-appearance: none !important;
|
-moz-appearance: none !important;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
*|*:root[platform="win"] > scrollbar scrollbarbutton,
|
||||||
*|*:root[platform="linux"] > scrollbar scrollbarbutton,
|
*|*:root[platform="linux"] > scrollbar scrollbarbutton,
|
||||||
|
*|*:root[platform="win"] > scrollbar gripper,
|
||||||
*|*:root[platform="linux"] > scrollbar gripper,
|
*|*:root[platform="linux"] > scrollbar gripper,
|
||||||
|
*|*:root[platform="win"] *|*:not(html|select) > scrollbar scrollbarbutton,
|
||||||
*|*:root[platform="linux"] *|*:not(html|select) > scrollbar scrollbarbutton,
|
*|*:root[platform="linux"] *|*:not(html|select) > scrollbar scrollbarbutton,
|
||||||
|
*|*:root[platform="win"] *|*:not(html|select) > scrollbar gripper,
|
||||||
*|*:root[platform="linux"] *|*:not(html|select) > scrollbar gripper {
|
*|*:root[platform="linux"] *|*:not(html|select) > scrollbar gripper {
|
||||||
display: none;
|
display: none;
|
||||||
}
|
}
|
||||||
|
|
Загрузка…
Ссылка в новой задаче