client/js/defaults.js
changeset 649 2b9c120dba55
parent 647 eaaa1efce396
--- a/client/js/defaults.js	Thu Jan 05 19:34:53 2017 +0100
+++ b/client/js/defaults.js	Tue Jan 10 17:36:30 2017 +0100
@@ -126,8 +126,18 @@
     selected_node_stroke_width: 4,
     selected_node_stroke_max_width: 24,
     node_stroke_witdh_scale: 5,
+    node_title_size_min: 0,
+        /* minimum relative size for node title (in graph) */
+    node_title_size_max: 5,
+        /* maximum relative size for node title (in graph) */
+    node_title_size_step: 0.1,
+        /* step for relative size for node title (in graph) */
     node_fill_color: "#ffffff",
+        /* default color to fill node background */
     highlighted_node_fill_color: "#ffff00",
+        /* default color to fill highlighted node background */
+    node_title_color: "#000000",
+        /* default title color */
     node_label_distance: 5,
         /* Vertical distance between node and label */
     node_label_max_length: 60,
@@ -190,13 +200,14 @@
 
     /* NODE EDITOR OPTIONS */
 
+    show_node_title_style: true,
     show_node_editor_uri: true,
     show_node_editor_title: true,
     show_node_editor_title_richtext: true,
     show_node_editor_description: true,
     show_node_editor_description_richtext: true,
     show_node_editor_size: true,
-    show_node_editor_style: true,
+    show_node_editor_style: true, // show node title style editor
     show_node_editor_style_color: true,
     show_node_editor_style_dash: true,
     show_node_editor_style_thickness: true,