wuggy/Dactyloidae
wuggy/Dactyloidae
1
0
Fork 0
mirror of https://repo.dactyloidae.xyz/Dactyloidae/UXP.git synced 2026-08-15 08:53:07 +09:00
Code Issues Projects Releases Packages Wiki Activity

Reinstate tabMinWidth and tabMaxWidth prefs.

Browse source 
This resolves #410.
This commit is contained in:
wolfbeast 2018-05-30 00:26:42 +02:00 • committed by Roy Tam
commit 96a0af1be8
3 changed files with 16 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
application/palemoon/app/profile/palemoon.js
View file

@ -433,6 +433,8 @@ pref("browser.tabs.loadDivertedInBackground", false);
pref("browser.tabs.loadBookmarksInBackground", false);
pref("browser.tabs.noWindowActivationOnExternal", false);
pref("browser.tabs.tabClipWidth", 140);
pref("browser.tabs.tabMinWidth", 100);
pref("browser.tabs.tabMaxWidth", 250);
pref("browser.tabs.animate", true);
pref("browser.tabs.onTop", true);
#ifdef XP_WIN

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

@ -43,8 +43,6 @@ tabbrowser {
.tabbrowser-tab:not([pinned]) {
-moz-box-flex: 100;
max-width: 250px;
min-width: 100px;
width: 0;
transition: min-width 175ms ease-out,
max-width 200ms ease-out,
@ -67,6 +65,12 @@ tabbrowser {
display: none;
}
.tabbrowser-tab[pinned] {
-moz-box-flex: 0;
min-width: 0 !important;
max-width: none !important;
}
.tabbrowser-tabs[positionpinnedtabs] > .tabbrowser-tab[pinned] {
position: fixed !important;
display: block; /* position:fixed already does this (bug 579776), but let's be explicit */

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

@ -1445,6 +1445,9 @@
t.setAttribute("label", aURI);
t.setAttribute("crop", "end");
t.style.maxWidth = this.tabContainer.mTabMaxWidth + "px";
t.style.minWidth = this.tabContainer.mTabMinWidth + "px";
t.width = 0;
t.setAttribute("validate", "never"); //PMed
t.setAttribute("onerror", "this.removeAttribute('image');");
t.className = "tabbrowser-tab";
@ -3410,6 +3413,8 @@
<implementation implements="nsIDOMEventListener">
<constructor>
<![CDATA[
this.mTabMinWidth = Services.prefs.getIntPref("browser.tabs.tabMinWidth");
this.mTabMaxWidth = Services.prefs.getIntPref("browser.tabs.tabMaxWidth");
this.mTabClipWidth = Services.prefs.getIntPref("browser.tabs.tabClipWidth");
this.mCloseButtons = Services.prefs.getIntPref("browser.tabs.closeButtons");
this._closeWindowWithLastTab = Services.prefs.getBoolPref("browser.tabs.closeWindowWithLastTab");
@ -3417,6 +3422,9 @@
var tab = this.firstChild;
tab.setAttribute("label",
this.tabbrowser.mStringBundle.getString("tabs.emptyTabTitle"));
tab.style.minWidth = this.mTabMinWidth + "px";
tab.style.maxWidth = this.mTabMaxWidth + "px";
tab.width = 0;
tab.setAttribute("crop", "end");
tab.setAttribute("onerror", "this.removeAttribute('image');");
this.adjustTabstrip();