# HG changeset patch
# User Nobuyasu Oshiro  <dimolto@cr.ie.u-ryukyu.ac.jp>
# Date 1364117424 -32400
# Node ID 45daac436fd73681304a815c3f56350cc964eda6
# Parent  346400e1ee19d136c68cac27dec31f92a117386d
elete unnecessary code

diff -r 346400e1ee19 -r 45daac436fd7 show.html
--- a/show.html	Sun Mar 24 18:23:38 2013 +0900
+++ b/show.html	Sun Mar 24 18:30:24 2013 +0900
@@ -118,7 +118,6 @@
 }
 var DragHandler = {
     _oElem : null,
-    _id : null,
     attach : function(oElem) {
 	oElem.onmousedown = DragHandler._dragBegin;
 	return oElem;
@@ -255,8 +254,8 @@
 var nodeNum = 0;
 var OFFSET = 300;
 var miniD = $('#miniDisplay')[0].style;
-var offsetLeft = parseInt(miniD.width.split('px')[0]);
-var offsetTop = parseInt(miniD.height.split('px')[0]);
+var offsetLeft = parseInt(miniD.width);
+var offsetTop = parseInt(miniD.height);
 function calcNewNodePosition() {
     var position = {};
     position = {x: offsetLeft+OFFSET, y: nodeNum*OFFSET + offsetTop / 3};
@@ -688,7 +687,6 @@
     showAllEdge(gData);
 }
 
-
 function init() {
     jsPlumb.importDefaults({
 	Connector : [ "Straight", { curviness:50 } ],
@@ -703,9 +701,6 @@
 	left: rootLeft + 'px',
 	top: rootTop + 'px'
     });
-    var heightStr = $('#miniDisplay').css('height').split('px')[0];
-    var height = parseInt(heightStr);
-//    hiddenStateMenuBody();
 }
 
 function start() {