diff options.js @ 133:99fbc7c55b81

Options-related UI improvements. Hide as-yet-unnecessary elements on the options page, and link the home and options pages from each other.
author John "Elwin" Edwards <elwin@sdf.org>
date Wed, 12 Sep 2012 16:03:09 -0700
parents a2e071a95055
children
line wrap: on
line diff
--- a/options.js	Wed Sep 12 15:48:41 2012 -0700
+++ b/options.js	Wed Sep 12 16:03:09 2012 -0700
@@ -15,7 +15,7 @@
     else {
       setstatus("You are logged in as " + reply.u + ".");
       document.getElementById("input_email").value = reply["email"];
-      document.getElementById("switch").style.display = "block";
+      //document.getElementById("switch").style.display = "block";
     }
   }
   req.open('GET', url, true);