--- 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,