--- a/integ/renkan/js/defaults.js Thu Apr 25 19:17:13 2013 +0200
+++ b/integ/renkan/js/defaults.js Fri Apr 26 15:50:14 2013 +0200
@@ -29,6 +29,8 @@
allow_double_click: true,
/* Allows Double Click to create a node on an empty background */
element_delete_delay: 5000,
+ /* Delay between clicking on the bin on an element and really deleting it */
+ autoscale_padding: 50,
/* MINI-MAP OPTIONS */
@@ -36,6 +38,7 @@
/* Show a small map at the bottom right */
minimap_width: 160,
minimap_height: 120,
+ minimap_padding: 20,
minimap_background_color: "#ffffff",
minimap_border_color: "#cccccc",
minimap_highlight_color: "#ffff00",
@@ -86,6 +89,40 @@
tooltip_top_color: "#f0f0f0",
tooltip_bottom_color: "#d0d0d0",
tooltip_border_color: "#808080",
- tooltip_border_width: 1
+ tooltip_border_width: 1,
+
+ /* NODE EDITOR OPTIONS */
+
+ show_node_editor_uri: true,
+ show_node_editor_description: true,
+ show_node_editor_size: true,
+ show_node_editor_color: true,
+ show_node_editor_image: true,
+ show_node_editor_creator: true,
+
+ /* NODE TOOLTIP OPTIONS */
+
+ show_node_tooltip_uri: true,
+ show_node_tooltip_description: true,
+ show_node_tooltip_color: true,
+ show_node_tooltip_image: true,
+ show_node_tooltip_creator: true,
+
+ /* EDGE EDITOR OPTIONS */
+
+ show_edge_editor_uri: true,
+ show_edge_editor_color: true,
+ show_edge_editor_direction: true,
+ show_edge_editor_nodes: true,
+ show_edge_editor_creator: true,
+
+ /* EDGE TOOLTIP OPTIONS */
+
+ show_edge_tooltip_uri: true,
+ show_edge_tooltip_color: true,
+ show_edge_tooltip_nodes: true,
+ show_edge_tooltip_creator: true
+
+ /* */
};