mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-15 14:30:47 +00:00
Add a popup menu to include/exclude sidebar panels (bug 24035). The sidebar header that includes the menu is now an XBL widget. Also, rely on the toolbar styles more.
This commit is contained in:
parent
5154865dd3
commit
02487d7926
@ -57,7 +57,6 @@ splitter#sidebar-splitter grippy:active {
|
||||
background-color: #99CCFF;
|
||||
}
|
||||
|
||||
|
||||
/**/
|
||||
|
||||
box#sidebar-box {
|
||||
@ -74,14 +73,6 @@ box#sidebar-panels {
|
||||
min-height: 1px;
|
||||
}
|
||||
|
||||
box#sidebar-box[hidden="true"] {
|
||||
display: none;
|
||||
}
|
||||
|
||||
splitter#sidebar-splitter[hidden="true"] {
|
||||
display: none;
|
||||
}
|
||||
|
||||
iframe.panel-frame {
|
||||
min-width: 1px;
|
||||
}
|
||||
@ -97,22 +88,27 @@ iframe.panel-frame {
|
||||
padding-right: 5px;
|
||||
}
|
||||
|
||||
.sidebar-main-header > div {
|
||||
font-weight: bold;
|
||||
margin: 2px;
|
||||
}
|
||||
|
||||
.sidebar-main-header > text {
|
||||
font-weight: bold;
|
||||
margin: 2px;
|
||||
}
|
||||
|
||||
.sidebar-main-header > titledbutton {
|
||||
padding: 0px;
|
||||
menu#panel-picker:hover {
|
||||
background-color: #336699;
|
||||
}
|
||||
|
||||
.sidebar-main-header > titledbutton:hover {
|
||||
color: white;
|
||||
menu#panel-picker > .menu-right {
|
||||
list-style-image: url("chrome://global/skin/toolbar-menu-arrow.gif");
|
||||
}
|
||||
|
||||
sidebarheader[type="box"] {
|
||||
behavior: url(chrome://global/content/globalBindings.xml#sidebar-header-box);
|
||||
}
|
||||
|
||||
sidebarheader[type="splitter"] {
|
||||
behavior: url(chrome://global/content/globalBindings.xml#sidebar-header-splitter);
|
||||
/* a vertical splitter */
|
||||
cursor: n-resize;
|
||||
}
|
||||
|
||||
box.texttab {
|
||||
|
Loading…
x
Reference in New Issue
Block a user