diff -r e0c7be5dc02c -r 6dcff4438175 client/js/defaults.js --- a/client/js/defaults.js Wed Jun 03 17:27:46 2015 +0200 +++ b/client/js/defaults.js Fri Jun 05 12:17:16 2015 +0200 @@ -41,7 +41,7 @@ Set to 0 for delete confirm */ autoscale_padding: 50, resize: true, - + /* zoom options */ show_zoom: true, /* show zoom buttons */ @@ -49,8 +49,8 @@ /* show buttons to save view */ default_view: false, /* Allows to load default view (zoom+offset) at start on read_only mode, instead of autoScale. the default_view will be the last */ - - + + /* TOP BAR BUTTONS */ show_search_field: true, show_user_list: true, @@ -78,7 +78,7 @@ minimap_border_color: "#cccccc", minimap_highlight_color: "#ffff00", minimap_highlight_weight: 5, - + /* EDGE/NODE COMMON OPTIONS */ @@ -86,6 +86,11 @@ buttons_label_color: "#c000c0", buttons_label_font_size: 9, + ghost_opacity : 0.3, + /* opacity when the hidden element is revealed */ + default_dash_array : [4, 5], + /* dash line genometry */ + /* NODE DISPLAY OPTIONS */ show_node_circles: true, @@ -97,7 +102,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, @@ -112,11 +120,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: "", @@ -137,7 +150,10 @@ show_node_editor_uri: true, show_node_editor_description: true, show_node_editor_size: true, - show_node_editor_color: 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, @@ -154,7 +170,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,