Eliminate loading of some duplicate tabs on restart. https://redmine.stoutner.com...

[PrivacyBrowserAndroid.git] / app / src / main / AndroidManifest.xml

diff --git a/app/src/main/AndroidManifest.xml b/app/src/main/AndroidManifest.xml
index dedd5b1a17f8d14bbe6166ce4ccd6dd2c11669f7..9f99ed173b8b64a93e9fde72d792019360e1d4c6 100644 (file)
--- a/app/src/main/AndroidManifest.xml
+++ b/app/src/main/AndroidManifest.xml
@@ -99,7 +99,7 @@
         <activity
             android:name=".activities.MainWebViewActivity"
             android:label="@string/short_name"
-            android:theme="@style/PrivacyBrowserLight"
+            android:theme="@style/PrivacyBrowser"
             android:configChanges="orientation|screenSize|screenLayout|keyboard|keyboardHidden"
             android:launchMode="singleTask"
             android:screenOrientation="fullUser"
@@ -145,8 +145,8 @@
 
                 <data android:host="*" />
 
-                <!-- This pattern matches any file that starts with a `/`, has at least one character, followed by any number of other characters, terminating with `.mht`. -->
-                <data android:pathPattern="/.*\.mht" />
+                <!-- In the path pattern syntax, `.*` is a wildcard.  Hence, this matches any file path that ends in `.mht`.  <https://developer.android.com/guide/topics/manifest/data-element#path>  -->
+                <data android:pathPattern=".*.mht" />
                 <data android:mimeType="*/*" />
             </intent-filter>