browser/base/content/browser-charsetmenu.inc@ac0c01689b40
browser/base/content/browser-charsetmenu.inc
Thu, 15 Jan 2015 15:59:08 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 15 Jan 2015 15:59:08 +0100
- branch
- TOR_BUG_9701
- changeset 10
- ac0c01689b40
- permissions
- -rw-r--r--
Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
1 # This Source Code Form is subject to the terms of the Mozilla Public
2 # License, v. 2.0. If a copy of the MPL was not distributed with this
3 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
5 <menu id="charsetMenu"
6 label="&charsetMenu.label;"
7 #ifndef OMIT_ACCESSKEYS
8 accesskey="&charsetMenu.accesskey;"
9 #endif
10 oncommand="BrowserSetForcedCharacterSet(event.target.getAttribute('charset'));"
11 #ifdef OMIT_ACCESSKEYS
12 onpopupshowing="CharsetMenu.build(event.target, false);"
13 #else
14 onpopupshowing="CharsetMenu.build(event.target);"
15 #endif
16 onpopupshown="UpdateCurrentCharset(this);">
17 <menupopup>
18 </menupopup>
19 </menu>
