From: eli173 <eli@eli173.com>
Date: Sun, 30 Aug 2015 04:59:15 +0000 (-0500)
Subject: changed default labeling
X-Git-Url: https://git.eli173.com/?a=commitdiff_plain;h=590b7de5f2b7297722623d583a9b066d9afa8aa6;p=graphbyhand

changed default labeling
---

diff --git a/index.html b/index.html
index 96b6c5e..3afc1d1 100644
--- a/index.html
+++ b/index.html
@@ -30,10 +30,10 @@
     <div id="formatter">
       Formatter<br/>
       <input type="radio" name="idolbl"
-	     id="idlblid">
+	     id="idlblid" checked="checked">
       <label for="idlblid">Use automatically generated IDs</label><br/>
       <input type="radio" name="idolbl"
-	     id="idlbllbl" checked="checked">
+	     id="idlbllbl">
       <label for="idlbllbl">Use user-given labels</label><br/>
       <button id="fmt">Get representation</button><br/>
       <textarea name="results" id="results" rows="10" cols="50" style="display:none"></textarea>