From e426c452094ab8687db75fbb86cd358f47336b54 Mon Sep 17 00:00:00 2001
From: wareya <wareya@gmail.com>
Date: Sun, 16 Jun 2019 19:49:08 -0400
Subject: [PATCH] actually fix json dictionary manger on android

---
 manifest.json | 2 +-
 options.js    | 6 ++++--
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/manifest.json b/manifest.json
index e74eff5..18b0971 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1,7 +1,7 @@
 {
     "manifest_version": 2,
     "name": "nazeka",
-    "version": "0.3.1",
+    "version": "0.3.2",
     "author": "Wareya",
     "homepage_url": "https://github.com/wareya/nazeka",
     "description": "A rikai replacement.",
diff --git a/options.js b/options.js
index 293961a..060a967 100644
--- a/options.js
+++ b/options.js
@@ -23,7 +23,6 @@ async function get_real_platform()
     }
     platform = my_platform;
 }
-get_real_platform();
 
 let settings = [];
 
@@ -517,7 +516,7 @@ function removeListeners()
     }
 }
 
-function buildpage()
+async function buildpage()
 {
     let optionsection = document.querySelector("#optionsection");
     for(let option of settings)
@@ -614,6 +613,9 @@ function buildpage()
         optionsection.appendChild(container);
     }
     
+    
+    await get_real_platform();
+    
     if(platform != "android")
     {
         // mining