wuggy/Dactyloidae
wuggy/Dactyloidae
1
0
Fork 0
mirror of https://repo.dactyloidae.xyz/Dactyloidae/UXP.git synced 2026-10-05 06:47:31 +09:00
Code Issues Projects Releases Packages Wiki Activity

Merge remote-tracking branch 'origin/tracking' into custom

Browse source
This commit is contained in:
roytam1 2023-03-02 14:52:54 +08:00
commit 33981efb44
15 changed files with 231 additions and 70 deletions
Download patch file Download diff file Expand all files Collapse all files

10
application/palemoon/base/content/browser.css
View file

@ -82,6 +82,16 @@ tabbrowser {
transition: transform 200ms ease-out;
}
@supports -moz-bool-pref("browser.tabs.fadeLabels") {
.tabbrowser-tab .tab-text[_is_cropped] {
mask-image: linear-gradient(to left, transparent, black 2em);
}
.tabbrowser-tab .tab-text[_is_cropped]:-moz-locale-dir(rtl) {
mask-image: linear-gradient(to right, transparent, black 2em);
}
}
#alltabs-popup {
-moz-binding: url("chrome://browser/content/tabbrowser.xml#tabbrowser-alltabs-popup");
}

22
application/palemoon/base/content/tabbrowser.xml
View file

@ -1260,7 +1260,11 @@
<body>
<![CDATA[
aTab.label = this.mStringBundle.getString("tabs.connecting");
aTab.crop = "end";
if (Services.prefs.getBoolPref("browser.tabs.fadeLabels")) {
aTab.crop = "clip";
} else {
aTab.crop = "end";
}
this._tabAttrModified(aTab, ["label", "crop"]);
]]>
</body>
@ -1300,6 +1304,10 @@
title = this.mStringBundle.getString("tabs.emptyTabTitle");
}
if (Services.prefs.getBoolPref("browser.tabs.fadeLabels")) {
crop = "clip";
}
if (aTab.label == title &&
aTab.crop == crop)
return false;
@ -1527,7 +1535,11 @@
else
t.setAttribute("label", aURI);
t.setAttribute("crop", "end");
if (Services.prefs.getBoolPref("browser.tabs.fadeLabels")) {
t.setAttribute("crop", "clip");
} else {
t.setAttribute("crop", "end");
}
t.setAttribute("validate", "never"); //PMed
t.setAttribute("onerror", "this.removeAttribute('image');");
@ -3611,7 +3623,11 @@
var tab = this.firstChild;
tab.setAttribute("label",
this.tabbrowser.mStringBundle.getString("tabs.emptyTabTitle"));
tab.setAttribute("crop", "end");
if (Services.prefs.getBoolPref("browser.tabs.fadeLabels")) {
tab.setAttribute("crop", "clip");
} else {
tab.setAttribute("crop", "end");
}
tab.setAttribute("onerror", "this.removeAttribute('image');");
this.adjustTabstrip();