diff -r 423bdf56d103 -r 98cae534083d client/js/defaults.js --- 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,