diff -r 9b8df8d779f5 -r 009427475db2 client/js/defaults.js --- a/client/js/defaults.js Wed Apr 24 10:30:28 2013 +0200 +++ b/client/js/defaults.js Mon May 06 15:14:29 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 + + /* */ };