From: eli173 <eli@eli173.com>
Date: Sun, 30 Aug 2015 03:55:32 +0000 (-0500)
Subject: some formatting stuff
X-Git-Url: https://git.eli173.com/?a=commitdiff_plain;h=553a632aa4556740090cc3278f021f41100ba646;p=graphbyhand

some formatting stuff
---

diff --git a/graph.js b/graph.js
index 00232ef..276d28b 100644
--- a/graph.js
+++ b/graph.js
@@ -21,6 +21,14 @@ var main = function() {
 
     canvas.on('mouse:down',function(o){mousedown(o,canvas)});
     canvas.on('object:moving',function(o){movement(o,canvas)});
+    document.getElementById("fmt").onclick = function(e) {
+	ezformatter(canvas);
+    }
+    document.getElementById("label").onkeypress = function(e) {
+	if(e.key="Enter") {
+	    submit()
+	}
+    };
 }
 
 
@@ -150,6 +158,53 @@ var getNeighbors = function(vert,canvas) {
     return neighbors;
 }
 
+var ezformatter = function(canvas) {
+    var retstr = "";
+    var useedges = document.getElementById("radioedge").checked;
+    var useids = document.getElementById("idlblid").checked;
+    canvas.forEachObject(function(o) {
+	if(useedges && o.type == 'Edge') {
+	    console.log("a");
+	    if(!useids) {
+		retstr = retstr.concat("("+o.vertices[0].label+
+				       ", "+o.vertices[1].label+") ");
+	    }
+	    else {
+		retstr = retstr.concat("("+o.vertices[0].id+
+				       ", "+o.vertices[1].id+") ");
+	    }
+	}
+	else if(o.type == 'Vertex') {
+	    
+	    
+	}
+    });
+    document.getElementById("results").value = retstr;
+    document.getElementById("results").style.display = "block";
+}
+
+var runformatter = function(canvas) {
+    retstr = "";
+    fstr = document.getElementById("formatstr").value;
+    var in_escape = false;
+    for(i=0;i<fstr.length;i++) {
+	if(in_escape) {
+	    if(fstr[i]=='\\') {
+		retstr.push('\\')
+	    }
+	    else if(fstr[i]=='{') {
+		retstr.push('a');
+	    }
+
+	    in_escape = false;
+	}
+	
+
+    }
+    
+    console.log(retstr);
+}
+
 var Vertex = fabric.util.createClass(fabric.Circle, {
     type: 'Vertex',
     initialize: function(options) {
diff --git a/index.html b/index.html
index 4414c46..f8887a5 100644
--- a/index.html
+++ b/index.html
@@ -19,10 +19,33 @@
       <button onclick="setMode('d')">Remove</button>
     </div>
     <div id="editor" style="display: none">
-      Label: <input id="label" type="text" value=""/>
+      Label:
+      <input id="label" type="text" value=""/>
+      <input id="submitlabel" type="button" value="OK"
+	     onclick="submit()" style="display:inline-block"/><br/>
       ID: <div style="display:inline-block" id="elementid"></div><br/>
       Neighbors: <div id="neighbors"></div><br/>
-      <input id="submitlabel" type="button" value="OK" onclick="submit()"/>
+
+    </div>
+    <div id="formatter">
+      Formatter<br/>
+      <input type="radio" name="eorv"
+	     id="radiovert">
+      <label for="radiovert">Run on vertices</label>
+      <input type="radio" name="eorv"
+	     id="radioedge">
+      <label for="radioedge">Run on edges</label><br/>
+      <input type="radio" name="idolbl"
+	     id="idlblid">
+      <label for="idlblid">Use automatically generated IDs</label>
+      <input type="radio" name="idolbl"
+	     id="idlbllbl">
+      <label for="idlbllbl">Use user-given labels</label><br/>
+      <textarea name="formatstr" id="formatstr"></textarea><br/>
+      <button id="fmt">Format</button><br/>
+      <textarea name="results" id="results" style="display:none"></textarea>
     </div>
   </body>
 </html>
+
+