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