From c1f54590ceb39e798d79bedb2c8246ae5e395272 Mon Sep 17 00:00:00 2001
From: Alon Levy <alon@pobox.com>
Date: Thu, 16 Apr 2015 00:01:05 +0200
Subject: client: move node_text_d{x,y} from rz_core to graph_view

---
 src/client/view/graph_view.js | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'src/client/view')

diff --git a/src/client/view/graph_view.js b/src/client/view/graph_view.js
index c28c2dd4..74d1ed95 100644
--- a/src/client/view/graph_view.js
+++ b/src/client/view/graph_view.js
@@ -131,6 +131,10 @@ function init_checkboxes(graph, update_view) {
     return filter_states;
 }
 
+// "CSS" for SVG elements. Reused for editing elements.
+var node_text_dx = 5,
+    node_text_dy = '.30em';
+
 /*
  * Creates a new view on the given graph contained in an appended last child
  * to the given parent node, parent
@@ -160,8 +164,6 @@ function GraphView(spec) {
         graph_name = spec.graph_name,
         graph = spec.graph,
         zoom_property = spec.zoom_property,
-        node_text_dx = spec.node_text_dx,
-        node_text_dy = spec.node_text_dy,
         svgInput = spec.svgInput,
         zoom_obj = spec.zoom_obj,
         zoom_obj_element = spec.zoom_obj_element,
@@ -185,7 +187,6 @@ function GraphView(spec) {
     util.assert(parent_element !== undefined && graph_name !== undefined &&
                 graph !== undefined && zoom_property !== undefined &&
                 temporary !== undefined && force_enabled !== undefined &&
-                node_text_dx !== undefined && node_text_dy !== undefined &&
                 zoom_obj !== undefined && parent_graph_zoom_obj !== undefined &&
                 zoom_obj_element !== undefined &&
                 (temporary || svgInput !== undefined),
-- 
cgit v1.3.1