TinyWebEx
diff --git a/‎MobileOptions.js‎
Lines changed: 4 additions & 7 deletions b/‎MobileOptions.js‎
Lines changed: 4 additions & 7 deletions
diff --git a/‎docs/AutomaticSettings.js.html‎
Lines changed: 4 additions & 1 deletion b/‎docs/AutomaticSettings.js.html‎
Lines changed: 4 additions & 1 deletion
@@ -1,9 +1,10 @@
 /**
  * Adjusts options page for mobile (Android) compatibility.
  *
- * Notice: You can include this asyncronously even if the whole DOM is not parsed yet.
+ * Notice: You can include this asyncronously even when the whole DOM is not parsed yet.
  * It only accesses the body tag and that is very likely available as it's likely one of
- * the first HTML tags you write and only include this script afterwards.
+ * the first HTML tags that is written and this script is obviously included afterwards
+ * in the head tag.
  * This prevents unnecessary flackering when the CSS is added and the browser needs to
  * re-parse/render the HTML.
  *
@@ -20,11 +21,7 @@
 async function isMobile() {
     const platformInfo = await browser.runtime.getPlatformInfo();
 
-    if (platformInfo.os !== "android") {
-        return false;
-    }
-
-    return true;
+    return platformInfo.os === "android";
 }
 
 /**
 
@@ -13,6 +13,7 @@
     <![endif]-->
     <link type="text/css" rel="stylesheet" href="styles/prettify.css">
     <link type="text/css" rel="stylesheet" href="styles/jsdoc.css">
+    <script src="scripts/nav.js" defer></script>
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
 </head>
 <body>
@@ -67,12 +68,14 @@ <h1 class="page-title">AutomaticSettings.js</h1>
 <br class="clear">
 
 <footer>
-    Documentation generated by <a href="https://github.com/jsdoc3/jsdoc">JSDoc 3.5.5</a> on Sun Jan 20 2019 22:24:02 GMT+0100 (Mitteleuropäische Normalzeit) using the <a href="https://github.com/clenemt/docdash">docdash</a> theme.
+    Documentation generated by <a href="https://github.com/jsdoc3/jsdoc">JSDoc 3.6.2</a> on Sun Jun 30 2019 23:06:55 GMT+0200 (GMT+02:00) using the <a href="https://github.com/clenemt/docdash">docdash</a> theme.
 </footer>
 
 <script>prettyPrint();</script>
+<script src="scripts/polyfill.js"></script>
 <script src="scripts/linenumber.js"></script>
 
 
+
 </body>
 </html>