| author | veltr |
| Tue, 23 Apr 2013 17:08:42 +0200 | |
| changeset 163 | fca0475da9a7 |
| parent 161 | c7a503c80ef4 |
| child 169 | a60a450b8f3b |
| permissions | -rw-r--r-- |
|
114
110f99eb417e
moved options to defaults.js and improved read-only switching
veltr
parents:
diff
changeset
|
1 |
Rkns.defaults = { |
| 160 | 2 |
|
|
114
110f99eb417e
moved options to defaults.js and improved read-only switching
veltr
parents:
diff
changeset
|
3 |
language: (navigator.language || navigator.userLanguage || "en"), |
| 160 | 4 |
/* GUI Language */ |
|
114
110f99eb417e
moved options to defaults.js and improved read-only switching
veltr
parents:
diff
changeset
|
5 |
container: "renkan", |
| 160 | 6 |
/* GUI Container DOM element ID */ |
|
114
110f99eb417e
moved options to defaults.js and improved read-only switching
veltr
parents:
diff
changeset
|
7 |
search: [], |
| 160 | 8 |
/* List of Search Engines */ |
9 |
bins: [], |
|
10 |
/* List of Bins */ |
|
11 |
static_url: "", |
|
12 |
/* URL for static resources */ |
|
13 |
show_bins: true, |
|
14 |
/* Show bins in left column */ |
|
15 |
properties: [], |
|
16 |
/* Semantic properties for edges */ |
|
17 |
read_only: false, |
|
18 |
/* Allows editing of renkan without changing the rest of the GUI. Can be switched on/off on the fly to block/enable editing */ |
|
19 |
editor_mode: true, |
|
20 |
/* Switch for Publish/Edit GUI. If editor_mode is false, read_only will be true. */ |
|
|
120
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
21 |
snapshot_mode: false, |
| 160 | 22 |
/* In snapshot mode, clicking on the floppy will save a snapshot. Otherwise, it will show the connection status */ |
23 |
show_top_bar: true, |
|
24 |
/* Show the top bar, (title, buttons, users) */ |
|
25 |
default_user_color: "#303030", |
|
26 |
size_bug_fix: true, |
|
27 |
/* Resize the canvas after load (fixes a bug on iPad and FF Mac) */ |
|
| 163 | 28 |
force_resize: false, |
| 160 | 29 |
allow_double_click: true, |
30 |
/* Allows Double Click to create a node on an empty background */ |
|
| 161 | 31 |
element_delete_delay: 5000, |
| 160 | 32 |
|
33 |
/* MINI-MAP OPTIONS */ |
|
34 |
|
|
|
120
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
35 |
show_minimap: true, |
| 160 | 36 |
/* Show a small map at the bottom right */ |
|
120
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
37 |
minimap_width: 160, |
|
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
38 |
minimap_height: 120, |
| 132 | 39 |
minimap_background_color: "#ffffff", |
40 |
minimap_border_color: "#cccccc", |
|
41 |
minimap_highlight_color: "#ffff00", |
|
42 |
minimap_highlight_weight: 5, |
|
|
120
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
43 |
|
|
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
44 |
/* EDGE/NODE COMMON OPTIONS */ |
| 160 | 45 |
|
46 |
buttons_background: "#202020", |
|
47 |
buttons_label_color: "#c000c0", |
|
48 |
buttons_label_font_size: 9, |
|
49 |
|
|
50 |
/* NODE DISPLAY OPTIONS */ |
|
51 |
|
|
|
120
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
52 |
show_node_circles: true, |
| 160 | 53 |
/* Show circles for nodes */ |
54 |
clip_node_images: true, |
|
55 |
/* Constraint node images to circles */ |
|
56 |
node_size_base: 25, |
|
57 |
node_stroke_width: 2, |
|
58 |
selected_node_stroke_width: 4, |
|
59 |
node_fill_color: "#ffffff", |
|
60 |
highlighted_node_fill_color: "#ffff00", |
|
61 |
node_label_distance: 5, |
|
62 |
/* Vertical distance between node and label */ |
|
63 |
node_label_max_length: 60, |
|
64 |
/* Maximum displayed text length */ |
|
65 |
label_untitled_nodes: "(untitled)", |
|
66 |
/* Label to display on untitled nodes */ |
|
67 |
|
|
68 |
/* EDGE DISPLAY OPTIONS */ |
|
69 |
|
|
70 |
edge_stroke_width: 2, |
|
71 |
selected_edge_stroke_width: 4, |
|
72 |
edge_label_distance: 0, |
|
73 |
edge_label_max_length: 20, |
|
|
120
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
74 |
edge_arrow_length: 18, |
|
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
75 |
edge_arrow_width: 12, |
|
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
76 |
edge_gap_in_bundles: 12, |
| 160 | 77 |
label_untitled_edges: "", |
|
120
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
78 |
|
|
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
79 |
/* CONTEXTUAL DISPLAY (TOOLTIP OR EDITOR) OPTIONS */ |
|
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
80 |
|
| 160 | 81 |
tooltip_width: 275, |
82 |
tooltip_padding: 10, |
|
83 |
tooltip_margin: 15, |
|
|
120
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
84 |
tooltip_arrow_length : 20, |
|
112a82ddd7e5
Settings transferred from paper-renderer.js to defaults.js
veltr
parents:
114
diff
changeset
|
85 |
tooltip_arrow_width : 40, |
| 160 | 86 |
tooltip_top_color: "#f0f0f0", |
87 |
tooltip_bottom_color: "#d0d0d0", |
|
88 |
tooltip_border_color: "#808080", |
|
89 |
tooltip_border_width: 1 |
|
90 |
|
|
| 163 | 91 |
}; |