diff --git a/addon/chrome/content/preferences/appearance.xhtml b/addon/chrome/content/preferences/appearance.xhtml index 63c9c7b9..1535419a 100644 --- a/addon/chrome/content/preferences/appearance.xhtml +++ b/addon/chrome/content/preferences/appearance.xhtml @@ -150,13 +150,15 @@ - - - - + + + + + + diff --git a/addon/chrome/content/preferences/session.js b/addon/chrome/content/preferences/session.js index 446df469..f2928c38 100644 --- a/addon/chrome/content/preferences/session.js +++ b/addon/chrome/content/preferences/session.js @@ -7,6 +7,9 @@ var gSessionPane = { if (TabmixSvc.isLinux) $("sessionManager-panels").setAttribute("linux", "true"); + // while we don't use session manager always set `Advanced Setting` as selected tab + $("session").selectedIndex = 2; + this.isSessionStoreEnabled(true); this.updateSessionShortcuts(); diff --git a/addon/chrome/skin/tabmix-preferences.css b/addon/chrome/skin/tabmix-preferences.css index 79f4d873..e701a8b0 100644 --- a/addon/chrome/skin/tabmix-preferences.css +++ b/addon/chrome/skin/tabmix-preferences.css @@ -185,7 +185,6 @@ tab.subtabs:focus-visible > .tab-middle > .tab-text { } #TabMIxPreferences:not([ubuntu]) .groupbox-panels:not(.tabclick) { - appearance: groupbox; padding: 3px 3px 6px 3px; } @@ -324,7 +323,6 @@ tabbox > tabpanels:last-child { } #TabMIxPreferences[mac] prefpane .groupbox-body { - appearance: groupbox; padding-top: 2px; margin-bottom: 2px; }