From 65f2f37fe3f691ceebe48c6f9cfa353b11bc79a9 Mon Sep 17 00:00:00 2001
From: wareya <wareya@gmail.com>
Date: Wed, 4 Apr 2018 00:57:30 -0400
Subject: [PATCH] just uncomment this for the sake of convenience

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

diff --git a/manifest.json b/manifest.json
index f38c766..2f45ef1 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1,7 +1,7 @@
 {
     "manifest_version": 2,
     "name": "nazeka",
-    "version": "0.1.7",
+    "version": "0.1.8",
     "author": "Wareya",
     "homepage_url": "https://github.com/wareya/nazeka",
     "description": "A rikai replacement.",
diff --git a/options.js b/options.js
index 544d26a..c7ebad2 100644
--- a/options.js
+++ b/options.js
@@ -166,12 +166,10 @@ function defaults()
     });
     
     // other (added imperatively)
-    /*
     settings.push({
         kind: "dummy",
         label: "Other"
     });
-    */
 }
 defaults();
 
@@ -289,7 +287,6 @@ function buildpage()
         optionsection.appendChild(container);
     }
     
-    /*
     let file = document.createElement("input");
     file.type = "file";
     file.id = "file";
@@ -315,12 +312,11 @@ function buildpage()
     let label = document.createElement("label");
     label.for = file.id;
     label.id = "import_label";
-    label.textContent = "Import thin dictionary";
+    label.textContent = "Import processed dictionary (instructions coming later)";
     label.style.display = "block";
     
     optionsection.appendChild(file);
     optionsection.appendChild(label);
-    */
     
     optionsection.appendChild(document.createElement("hr"));
 }