toolkit/content/widgets/splitter.xml@97036ab72558 (annotated)
toolkit/content/widgets/splitter.xml
Tue, 06 Jan 2015 21:39:09 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Tue, 06 Jan 2015 21:39:09 +0100
- branch
- TOR_BUG_9701
- changeset 8
- 97036ab72558
- permissions
- -rw-r--r--
Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
| michael@0 | 1 | <?xml version="1.0"?> |
| michael@0 | 2 | <!-- This Source Code Form is subject to the terms of the Mozilla Public |
| michael@0 | 3 | - License, v. 2.0. If a copy of the MPL was not distributed with this |
| michael@0 | 4 | - file, You can obtain one at http://mozilla.org/MPL/2.0/. --> |
| michael@0 | 5 | |
| michael@0 | 6 | |
| michael@0 | 7 | <bindings id="splitterBindings" |
| michael@0 | 8 | xmlns="http://www.mozilla.org/xbl" |
| michael@0 | 9 | xmlns:xul="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"> |
| michael@0 | 10 | |
| michael@0 | 11 | <binding id="splitter" extends="xul:splitter"> |
| michael@0 | 12 | <resources> |
| michael@0 | 13 | <stylesheet src="chrome://global/skin/splitter.css"/> |
| michael@0 | 14 | </resources> |
| michael@0 | 15 | </binding> |
| michael@0 | 16 | |
| michael@0 | 17 | <binding id="grippy" extends="xul:button"> |
| michael@0 | 18 | <resources> |
| michael@0 | 19 | <stylesheet src="chrome://global/skin/splitter.css"/> |
| michael@0 | 20 | </resources> |
| michael@0 | 21 | <handlers> |
| michael@0 | 22 | <handler event="command"> |
| michael@0 | 23 | <![CDATA[ |
| michael@0 | 24 | var splitter = this.parentNode; |
| michael@0 | 25 | if (splitter) { |
| michael@0 | 26 | var state = splitter.getAttribute("state"); |
| michael@0 | 27 | if (state == "collapsed") |
| michael@0 | 28 | splitter.setAttribute("state", "open"); |
| michael@0 | 29 | else |
| michael@0 | 30 | splitter.setAttribute("state", "collapsed"); |
| michael@0 | 31 | } |
| michael@0 | 32 | ]]> |
| michael@0 | 33 | </handler> |
| michael@0 | 34 | </handlers> |
| michael@0 | 35 | </binding> |
| michael@0 | 36 | |
| michael@0 | 37 | </bindings> |
