integ/renkan/js/defaults.js
changeset 50 3508fa894b90
parent 46 e92242d22749
child 51 504ae70e799e
--- a/integ/renkan/js/defaults.js	Tue Apr 23 18:07:34 2013 +0200
+++ b/integ/renkan/js/defaults.js	Thu Apr 25 19:17:13 2013 +0200
@@ -1,90 +1,91 @@
-Rkns.defaults = {
-    
-    language: (navigator.language || navigator.userLanguage || "en"),
-        /* GUI Language */
-    container: "renkan",
-        /* GUI Container DOM element ID */
-    search: [],
-        /* List of Search Engines */
-    bins: [],
-           /* List of Bins */
-    static_url: "",
-        /* URL for static resources */
-    show_bins: true,
-        /* Show bins in left column */
-    properties: [],
-        /* Semantic properties for edges */
-    read_only: false,
-        /* Allows editing of renkan without changing the rest of the GUI. Can be switched on/off on the fly to block/enable editing */
-    editor_mode: true,
-        /* Switch for Publish/Edit GUI. If editor_mode is false, read_only will be true.  */
-    snapshot_mode: false,
-        /* In snapshot mode, clicking on the floppy will save a snapshot. Otherwise, it will show the connection status */
-    show_top_bar: true,
-        /* Show the top bar, (title, buttons, users) */
-    default_user_color: "#303030",
-    size_bug_fix: true,
-        /* Resize the canvas after load (fixes a bug on iPad and FF Mac) */
-    allow_double_click: true,
-        /* Allows Double Click to create a node on an empty background */
-    element_delete_delay: 5000,
-    
-    /* MINI-MAP OPTIONS */
-    
-    show_minimap: true,
-        /* Show a small map at the bottom right */
-    minimap_width: 160,
-    minimap_height: 120,
-    minimap_background_color: "#ffffff",
-    minimap_border_color: "#cccccc",
-    minimap_highlight_color: "#ffff00",
-    minimap_highlight_weight: 5,
-    
-    /* EDGE/NODE COMMON OPTIONS */
-       
-    buttons_background: "#202020",
-    buttons_label_color: "#c000c0",
-    buttons_label_font_size: 9,
-    
-    /* NODE DISPLAY OPTIONS */
-    
-    show_node_circles: true,
-        /* Show circles for nodes */
-    clip_node_images: true,
-        /* Constraint node images to circles */
-    node_size_base: 25,
-    node_stroke_width: 2,
-    selected_node_stroke_width: 4,
-    node_fill_color: "#ffffff",
-    highlighted_node_fill_color: "#ffff00",
-    node_label_distance: 5,
-        /* Vertical distance between node and label */
-    node_label_max_length: 60,
-        /* Maximum displayed text length */
-    label_untitled_nodes: "(untitled)",
-        /* Label to display on untitled nodes */
-    
-    /* EDGE DISPLAY OPTIONS */
-    
-    edge_stroke_width: 2,
-    selected_edge_stroke_width: 4,
-    edge_label_distance: 0,
-    edge_label_max_length: 20,
-    edge_arrow_length: 18,
-    edge_arrow_width: 12,
-    edge_gap_in_bundles: 12,
-    label_untitled_edges: "",
-    
-    /* CONTEXTUAL DISPLAY (TOOLTIP OR EDITOR) OPTIONS */
-   
-    tooltip_width: 275,
-    tooltip_padding: 10,
-    tooltip_margin: 15,
-    tooltip_arrow_length : 20,
-    tooltip_arrow_width : 40,
-    tooltip_top_color: "#f0f0f0",
-    tooltip_bottom_color: "#d0d0d0",
-    tooltip_border_color: "#808080",
-    tooltip_border_width: 1
-    
-}
+Rkns.defaults = {
+    
+    language: (navigator.language || navigator.userLanguage || "en"),
+        /* GUI Language */
+    container: "renkan",
+        /* GUI Container DOM element ID */
+    search: [],
+        /* List of Search Engines */
+    bins: [],
+           /* List of Bins */
+    static_url: "",
+        /* URL for static resources */
+    show_bins: true,
+        /* Show bins in left column */
+    properties: [],
+        /* Semantic properties for edges */
+    read_only: false,
+        /* Allows editing of renkan without changing the rest of the GUI. Can be switched on/off on the fly to block/enable editing */
+    editor_mode: true,
+        /* Switch for Publish/Edit GUI. If editor_mode is false, read_only will be true.  */
+    snapshot_mode: false,
+        /* In snapshot mode, clicking on the floppy will save a snapshot. Otherwise, it will show the connection status */
+    show_top_bar: true,
+        /* Show the top bar, (title, buttons, users) */
+    default_user_color: "#303030",
+    size_bug_fix: true,
+        /* Resize the canvas after load (fixes a bug on iPad and FF Mac) */
+    force_resize: false,
+    allow_double_click: true,
+        /* Allows Double Click to create a node on an empty background */
+    element_delete_delay: 5000,
+    
+    /* MINI-MAP OPTIONS */
+    
+    show_minimap: true,
+        /* Show a small map at the bottom right */
+    minimap_width: 160,
+    minimap_height: 120,
+    minimap_background_color: "#ffffff",
+    minimap_border_color: "#cccccc",
+    minimap_highlight_color: "#ffff00",
+    minimap_highlight_weight: 5,
+    
+    /* EDGE/NODE COMMON OPTIONS */
+       
+    buttons_background: "#202020",
+    buttons_label_color: "#c000c0",
+    buttons_label_font_size: 9,
+    
+    /* NODE DISPLAY OPTIONS */
+    
+    show_node_circles: true,
+        /* Show circles for nodes */
+    clip_node_images: true,
+        /* Constraint node images to circles */
+    node_size_base: 25,
+    node_stroke_width: 2,
+    selected_node_stroke_width: 4,
+    node_fill_color: "#ffffff",
+    highlighted_node_fill_color: "#ffff00",
+    node_label_distance: 5,
+        /* Vertical distance between node and label */
+    node_label_max_length: 60,
+        /* Maximum displayed text length */
+    label_untitled_nodes: "(untitled)",
+        /* Label to display on untitled nodes */
+    
+    /* EDGE DISPLAY OPTIONS */
+    
+    edge_stroke_width: 2,
+    selected_edge_stroke_width: 4,
+    edge_label_distance: 0,
+    edge_label_max_length: 20,
+    edge_arrow_length: 18,
+    edge_arrow_width: 12,
+    edge_gap_in_bundles: 12,
+    label_untitled_edges: "",
+    
+    /* CONTEXTUAL DISPLAY (TOOLTIP OR EDITOR) OPTIONS */
+   
+    tooltip_width: 275,
+    tooltip_padding: 10,
+    tooltip_margin: 15,
+    tooltip_arrow_length : 20,
+    tooltip_arrow_width : 40,
+    tooltip_top_color: "#f0f0f0",
+    tooltip_bottom_color: "#d0d0d0",
+    tooltip_border_color: "#808080",
+    tooltip_border_width: 1
+    
+};