Thu, 15 Jan 2015 15:59:08 +0100
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 <?xml version="1.0"?>
2 # This Source Code Form is subject to the terms of the Mozilla Public
3 # License, v. 2.0. If a copy of the MPL was not distributed with this
4 # file, You can obtain one at http://mozilla.org/MPL/2.0/.
6 <?xul-overlay href="chrome://browser/content/baseMenuOverlay.xul"?>
8 <overlay id="viewSourceOverlay"
9 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
10 xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
12 <window id="viewSource">
13 <commandset id="baseMenuCommandSet"/>
14 <keyset id="baseMenuKeyset"/>
15 <stringbundleset id="stringbundleset"/>
16 </window>
18 <menubar id="viewSource-main-menubar">
19 #ifdef XP_MACOSX
20 <menu id="windowMenu"/>
21 <menupopup id="menu_ToolsPopup"/>
22 #endif
23 <menu id="helpMenu"/>
24 </menubar>
26 </overlay>