Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
michael@0 | 1 | <?xml version="1.0" encoding="utf-8"?> |
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 | <!-- Tablet only: Sync is nested within the "Customize" header on tablets, |
michael@0 | 7 | instead of being a top-level menu item. |
michael@0 | 8 | See xml-v11/preferences.xml for single-pane v11+ phone layout. --> |
michael@0 | 9 | |
michael@0 | 10 | <preference-headers xmlns:android="http://schemas.android.com/apk/res/android"> |
michael@0 | 11 | |
michael@0 | 12 | <header android:fragment="org.mozilla.gecko.preferences.GeckoPreferenceFragment" |
michael@0 | 13 | android:title="@string/pref_header_customize"> |
michael@0 | 14 | <extra android:name="resource" |
michael@0 | 15 | android:value="preferences_customize_tablet"/> |
michael@0 | 16 | </header> |
michael@0 | 17 | |
michael@0 | 18 | <header android:fragment="org.mozilla.gecko.preferences.GeckoPreferenceFragment" |
michael@0 | 19 | android:title="@string/pref_header_display"> |
michael@0 | 20 | <extra android:name="resource" |
michael@0 | 21 | android:value="preferences_display"/> |
michael@0 | 22 | </header> |
michael@0 | 23 | |
michael@0 | 24 | <header android:fragment="org.mozilla.gecko.preferences.GeckoPreferenceFragment" |
michael@0 | 25 | android:title="@string/pref_header_privacy_short"> |
michael@0 | 26 | <extra android:name="resource" |
michael@0 | 27 | android:value="preferences_privacy"/> |
michael@0 | 28 | </header> |
michael@0 | 29 | |
michael@0 | 30 | <header android:fragment="org.mozilla.gecko.preferences.GeckoPreferenceFragment" |
michael@0 | 31 | android:title="@string/pref_header_vendor"> |
michael@0 | 32 | <extra android:name="resource" |
michael@0 | 33 | android:value="preferences_vendor"/> |
michael@0 | 34 | </header> |
michael@0 | 35 | |
michael@0 | 36 | <header android:fragment="org.mozilla.gecko.preferences.GeckoPreferenceFragment" |
michael@0 | 37 | android:title="@string/pref_header_devtools"> |
michael@0 | 38 | <extra android:name="resource" |
michael@0 | 39 | android:value="preferences_devtools"/> |
michael@0 | 40 | </header> |
michael@0 | 41 | |
michael@0 | 42 | </preference-headers> |