Eliminate loading of some duplicate tabs on restart. https://redmine.stoutner.com...
[PrivacyBrowser.git] / app / src / main / AndroidManifest.xml
index b4998dd31d0b036e84e6bb5096aeb68cec582653..9f99ed173b8b64a93e9fde72d792019360e1d4c6 100644 (file)
 
                 <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>