Mercurial Mercurial > renkan / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
client/js/defaults.js
author veltr
Tue, 02 Apr 2013 18:01:14 +0200
changeset 120 112a82ddd7e5
parent 114 110f99eb417e
child 132 860340d4c645
permissions -rw-r--r--
Settings transferred from paper-renderer.js to defaults.js
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
114
110f99eb417e moved options to defaults.js and improved read-only switching
veltr
parents:
diff changeset 
     1
 
Rkns.defaults = {
110f99eb417e moved options to defaults.js and improved read-only switching
veltr
parents:
diff changeset 
     2
 
    language: (navigator.language || navigator.userLanguage || "en"),
120
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
     3
 
    	/* GUI Language */
114
110f99eb417e moved options to defaults.js and improved read-only switching
veltr
parents:
diff changeset 
     4
 
    container: "renkan",
120
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
     5
 
    	/* GUI Container DOM element ID */
114
110f99eb417e moved options to defaults.js and improved read-only switching
veltr
parents:
diff changeset 
     6
 
    search: [],
120
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
     7
 
    	/* List of Search Engines */
114
110f99eb417e moved options to defaults.js and improved read-only switching
veltr
parents:
diff changeset 
     8
 
   	bins: [],
120
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
     9
 
   		/* List of Bins */
114
110f99eb417e moved options to defaults.js and improved read-only switching
veltr
parents:
diff changeset 
    10
 
	static_url: "",
120
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    11
 
		/* URL for static resources */
114
110f99eb417e moved options to defaults.js and improved read-only switching
veltr
parents:
diff changeset 
    12
 
	show_bins: true,
120
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    13
 
		/* Show bins in left column */
114
110f99eb417e moved options to defaults.js and improved read-only switching
veltr
parents:
diff changeset 
    14
 
	properties: [],
120
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    15
 
		/* Semantic properties for edges */
114
110f99eb417e moved options to defaults.js and improved read-only switching
veltr
parents:
diff changeset 
    16
 
	read_only: false,
120
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    17
 
		/* 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 
    18
 
	editor_mode: true,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    19
 
		/* 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 
    20
 
    snapshot_mode: false,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    21
 
    	/* In snapshot mode, clicking on the floppy will save a snapshot. Otherwise, it will show the connection status */
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    22
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    23
 
	/* MINI-MAP OPTIONS */
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    24
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    25
 
    show_minimap: true,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    26
 
    	/* Show a small map at the bottom right */
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    27
 
    minimap_width: 160,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    28
 
    minimap_height: 120,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    29
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    30
 
    /* EDGE/NODE COMMON OPTIONS */
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    31
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    32
 
   	buttons_background: "#202020",
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    33
 
   	buttons_label_color: "#c000c0",
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    34
 
   	buttons_label_font_size: 9,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    35
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    36
 
	/* NODE DISPLAY OPTIONS */
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    37
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    38
 
    show_node_circles: true,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    39
 
    	/* Show circles for nodes */
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    40
 
	clip_node_images: true,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    41
 
		/* Constraint node images to circles */
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    42
 
	node_stroke_width: 2,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    43
 
	selected_node_stroke_width: 4,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    44
 
	node_label_color: "#000000",
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    45
 
	node_label_font_size: 10,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    46
 
	node_label_font: 'Helvetica, Arial, sans-serif',
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    47
 
	node_label_distance: 5,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    48
 
		/* Vertical distance between node and label */
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    49
 
	node_label_max_length: 40,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    50
 
		/* Maximum displayed text length */
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    51
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    52
 
	/* EDGE DISPLAY OPTIONS */
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    53
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    54
 
	edge_stroke_width: 2,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    55
 
	selected_edge_stroke_width: 4,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    56
 
	edge_label_color: "#000000",
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    57
 
	edge_label_font_size: 9,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    58
 
	edge_label_font: 'Helvetica, Arial, sans-serif',
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    59
 
	edge_label_distance: -3,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    60
 
	edge_label_max_length: 20,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    61
 
    edge_arrow_length: 18,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    62
 
    edge_arrow_width: 12,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    63
 
    edge_gap_in_bundles: 12,
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
 
    /* CONTEXTUAL DISPLAY (TOOLTIP OR EDITOR) 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
 
   	tooltip_width: 275,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    68
 
   	tooltip_padding: 10,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    69
 
   	tooltip_margin: 15,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    70
 
    tooltip_arrow_length : 20,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    71
 
    tooltip_arrow_width : 40,
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    72
 
   	tooltip_top_color: "#f0f0f0",
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    73
 
   	tooltip_bottom_color: "#d0d0d0",
112a82ddd7e5 Settings transferred from paper-renderer.js to defaults.js
veltr
parents: 114
diff changeset 
    74
114
110f99eb417e moved options to defaults.js and improved read-only switching
veltr
parents:
diff changeset 
    75
 
}
renkan