Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-12-04 19:33:18 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 117713 - Want grippy on panels splitter

Browse Source 
patch by neil@parkwaycc.co.uk r=bz sr=hewitt
This commit is contained in:
timeless%mac.com 2002-01-03 14:27:22 +00:00
parent 1620cb89e0
commit 3360b301e5
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
extensions/inspector/resources/content/inspectorOverlay.xul
View File

@ -34,7 +34,9 @@
<domi-panel id="bxDocPanel" title="&bxDocPanel.title;"
flex="1" persist="width"/>
<splitter id="splPanels"/>
<splitter id="splPanels" collapse="after">
<grippy/>
</splitter>
<domi-panel id="bxObjectPanel" title="&bxObjectPanel.title;" linkedpanel="bxDocPanel"
flex="1" persist="width"/>