client/js/defaults.js
changeset 459 98cae534083d
parent 458 423bdf56d103
child 461 48235ed6b07d
--- a/client/js/defaults.js	Tue Jun 02 00:39:47 2015 +0200
+++ b/client/js/defaults.js	Wed Jun 03 13:16:46 2015 +0200
@@ -95,7 +95,10 @@
            Set to true for "crop" (adapted to fill circle) */
     node_size_base: 25,
     node_stroke_width: 2,
+    node_stroke_max_width: 12,
     selected_node_stroke_width: 4,
+    selected_node_stroke_max_width: 24,
+    node_stroke_witdh_scale: 5,
     node_fill_color: "#ffffff",
     highlighted_node_fill_color: "#ffff00",
     node_label_distance: 5,
@@ -110,11 +113,16 @@
     /* EDGE DISPLAY OPTIONS */
 
     edge_stroke_width: 2,
+    edge_stroke_max_width: 12,
     selected_edge_stroke_width: 4,
+    selected_edge_stroke_max_width: 24,
+    edge_stroke_witdh_scale: 5,
+
     edge_label_distance: 0,
     edge_label_max_length: 20,
     edge_arrow_length: 18,
     edge_arrow_width: 12,
+    edge_arrow_max_width: 32,
     edge_gap_in_bundles: 12,
     label_untitled_edges: "",
 
@@ -136,6 +144,9 @@
     show_node_editor_description: true,
     show_node_editor_size: true,
     show_node_editor_style: true,
+    show_node_editor_style_color: true,
+    show_node_editor_style_dash: true,
+    show_node_editor_style_thickness: true,
     show_node_editor_image: true,
     show_node_editor_creator: true,
     allow_image_upload: true,
@@ -152,7 +163,11 @@
     /* EDGE EDITOR OPTIONS */
 
     show_edge_editor_uri: true,
-    show_edge_editor_color: true,
+    show_edge_editor_style: true,
+    show_edge_editor_style_color: true,
+    show_edge_editor_style_dash: true,
+    show_edge_editor_style_thickness: true,
+    show_edge_editor_style_arrow: true,
     show_edge_editor_direction: true,
     show_edge_editor_nodes: true,
     show_edge_editor_creator: true,