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