|
1
|
# general configuration
|
|
2
|
temporaryIdPrefix = temporaryId
|
|
3
|
|
|
4
|
# canvas
|
|
5
|
canvas.x = 140
|
|
6
|
canvas.y = 0
|
|
7
|
canvas.width = 740
|
|
8
|
canvas.height = 550
|
|
9
|
canvas.node.spacing = 100
|
|
10
|
canvas.moving.factor = 50
|
|
11
|
canvas.scaling.factor = 1.25
|
|
12
|
|
|
13
|
# nodes
|
|
14
|
node.size = 5
|
|
15
|
node.size.ratio = 6
|
|
16
|
node.border.width = 1
|
|
17
|
node.shadow.color = 0xffb7b7b7
|
|
18
|
node.label.field = title
|
|
19
|
node.font.face = Verdana
|
|
20
|
node.font.size = 12
|
|
21
|
node.font.color = 0xff7f7f7f
|
|
22
|
node.tooltip.maxLength = 50
|
|
23
|
node.click.threshold = 250
|
|
24
|
node.url.prefix = ShowDocument.action?id=
|
|
25
|
node.url.target = _blank
|
|
26
|
|
|
27
|
# edges
|
|
28
|
edge.shadow.color = 0xffb7b7b7
|
|
29
|
edge.font.face = Verdana
|
|
30
|
edge.font.size = 12
|
|
31
|
edge.font.color = 0xff7f7f7f
|
|
32
|
edge.curve.weight = 3
|
|
33
|
edge.arrow.size = 10
|
|
34
|
|
|
35
|
#menu
|
|
36
|
menu.x = 0
|
|
37
|
menu.y = 0
|
|
38
|
menu.width = 140
|
|
39
|
menu.height = 550
|
|
40
|
menu.border.width = 1
|
|
41
|
menu.border.color = 0xff7f7f7f
|
|
42
|
menu.background.color = 0xfffefefe
|
|
43
|
menu.up.x = 70
|
|
44
|
menu.up.y = 30
|
|
45
|
menu.up.label = ↑
|
|
46
|
menu.left.x = 50
|
|
47
|
menu.left.y = 50
|
|
48
|
menu.left.label = ←
|
|
49
|
menu.right.x = 90
|
|
50
|
menu.right.y = 50
|
|
51
|
menu.right.label = →
|
|
52
|
menu.down.x = 70
|
|
53
|
menu.down.y = 70
|
|
54
|
menu.down.label = ↓
|
|
55
|
menu.zoom.in.x = 70
|
|
56
|
menu.zoom.in.y = 110
|
|
57
|
menu.zoom.in.label = +
|
|
58
|
menu.zoom.out.x = 70
|
|
59
|
menu.zoom.out.y = 135
|
|
60
|
menu.zoom.out.label = -
|
|
61
|
menu.layout.x = 20
|
|
62
|
menu.layout.y = 165
|
|
63
|
menu.layout.width = 100
|
|
64
|
menu.layout.label.1 = Layout 1
|
|
65
|
menu.layout.label.2 = Layout 2
|
|
66
|
menu.layout.label.3 = Layout 3
|
|
67
|
menu.layout.label.4 = Layout 4
|
|
68
|
menu.create.x = 20
|
|
69
|
menu.create.y = 205
|
|
70
|
menu.create.label = Create Node
|
|
71
|
menu.import.x = 20
|
|
72
|
menu.import.y = 230
|
|
73
|
menu.import.label = Import Node
|
|
74
|
menu.edit.x = 20
|
|
75
|
menu.edit.y = 255
|
|
76
|
menu.edit.label = Edit Node
|
|
77
|
menu.delete.x = 20
|
|
78
|
menu.delete.y = 280
|
|
79
|
menu.delete.label = Delete Node
|
|
80
|
menu.add.x = 20
|
|
81
|
menu.add.y = 320
|
|
82
|
menu.add.label = Add Relation
|
|
83
|
menu.remove.x = 20
|
|
84
|
menu.remove.y = 345
|
|
85
|
menu.remove.label = Remove Relation
|
|
86
|
menu.save.x = 20
|
|
87
|
menu.save.y = 385
|
|
88
|
menu.save.label = Save
|
|
89
|
|
|
90
|
# logger
|
|
91
|
logger.x = 140
|
|
92
|
logger.y = 400
|
|
93
|
logger.width = 550
|
|
94
|
logger.height = 150
|
|
95
|
logger.maxLines = 9
|
|
96
|
logger.border.width = 1
|
|
97
|
logger.border.color = 0xff7f7f7f
|
|
98
|
logger.background.color = 0xfffefefe
|
|
99
|
logger.font.face = Verdana
|
|
100
|
logger.font.size = 12
|
|
101
|
logger.font.color = 0xff7f7f7f
|
|
102
|
|
|
103
|
# legend
|
|
104
|
legend.x = 695
|
|
105
|
legend.y = 400
|
|
106
|
legend.width = 150
|
|
107
|
legend.height = 150
|
|
108
|
legend.spacing = 5
|
|
109
|
legend.border.width = 1
|
|
110
|
legend.border.color = 0xff7f7f7f
|
|
111
|
legend.background.color = 0xfffefefe
|
|
112
|
legend.corner.size = 15
|
|
113
|
legend.font.face = Verdana
|
|
114
|
legend.font.size = 12
|
|
115
|
legend.font.color = 0xff7f7f7f
|
|
116
|
|
|
117
|
#buttons
|
|
118
|
button.border.width = 1
|
|
119
|
button.border.color = 0xff7f7f7f
|
|
120
|
button.background.color = 0xfffefefe
|
|
121
|
button.shadow.color = 0xffb7b7b7
|
|
122
|
button.font.face = Verdana
|
|
123
|
button.font.size = 12
|
|
124
|
button.font.color = 0xff7f7f7f
|
|
125
|
button.rectangular.width = 100
|
|
126
|
button.rectangular.height = 20
|
|
127
|
button.round.size = 20
|
|
128
|
|
|
129
|
# dropdown menus
|
|
130
|
dropdown.height = 20
|
|
131
|
dropdown.border.width = 1
|
|
132
|
dropdown.border.color = 0xff7f7f7f
|
|
133
|
dropdown.background.color = 0xfffefefe
|
|
134
|
dropdown.shadow.color = 0xffb7b7b7
|
|
135
|
dropdown.font.face = Verdana
|
|
136
|
dropdown.font.size = 12
|
|
137
|
dropdown.font.color = 0xff7f7f7f
|
|
138
|
dropdown.button.label = ▼
|
|
139
|
|
|
140
|
# popup windows
|
|
141
|
popup.border.width = 1
|
|
142
|
popup.border.color = 0xff7f7f7f
|
|
143
|
popup.shadow.color = 0xffb7b7b7
|
|
144
|
popup.background.color = 0xfffefefe
|
|
145
|
popup.font.face = Verdana
|
|
146
|
popup.font.size = 12
|
|
147
|
popup.font.color = 0xff7f7f7f
|
|
148
|
popup.title.font.color = 0xffffffff
|
|
149
|
popup.title.background.color = 0xff7f7f7f
|
|
150
|
popup.element.height = 20
|
|
151
|
popup.cancel.label = Cancel
|
|
152
|
popup.reset.label = Reset
|
|
153
|
popup.ok.label = OK
|
|
154
|
|
|
155
|
# create node popup
|
|
156
|
create.node.popup.x = 235
|
|
157
|
create.node.popup.y = 215
|
|
158
|
create.node.popup.width = 380
|
|
159
|
create.node.popup.height = 120
|
|
160
|
create.node.popup.title = Create Node
|
|
161
|
create.node.popup.ok.x = 260
|
|
162
|
create.node.popup.ok.y = 80
|
|
163
|
create.node.popup.reset.x = 140
|
|
164
|
create.node.popup.reset.y = 80
|
|
165
|
create.node.popup.cancel.x = 20
|
|
166
|
create.node.popup.cancel.y = 80
|
|
167
|
create.node.popup.label.x = 20
|
|
168
|
create.node.popup.label.y = 40
|
|
169
|
create.node.popup.label.width = 100
|
|
170
|
create.node.popup.label.text = Type:
|
|
171
|
create.node.popup.type.x = 140
|
|
172
|
create.node.popup.type.y = 40
|
|
173
|
create.node.popup.type.width = 220
|
|
174
|
|
|
175
|
# import node popup
|
|
176
|
import.node.popup.x = 235
|
|
177
|
import.node.popup.y = 215
|
|
178
|
import.node.popup.width = 380
|
|
179
|
import.node.popup.height = 120
|
|
180
|
import.node.popup.title = Import Node
|
|
181
|
import.node.popup.ok.x = 260
|
|
182
|
import.node.popup.ok.y = 80
|
|
183
|
import.node.popup.reset.x = 140
|
|
184
|
import.node.popup.reset.y = 80
|
|
185
|
import.node.popup.cancel.x = 20
|
|
186
|
import.node.popup.cancel.y = 80
|
|
187
|
import.node.popup.label.x = 20
|
|
188
|
import.node.popup.label.y = 40
|
|
189
|
import.node.popup.label.width = 100
|
|
190
|
import.node.popup.label.text = Document:
|
|
191
|
import.node.popup.document.x = 140
|
|
192
|
import.node.popup.document.y = 40
|
|
193
|
import.node.popup.document.width = 220
|
|
194
|
|
|
195
|
# select entity popup
|
|
196
|
select.entity.popup.x = 235
|
|
197
|
select.entity.popup.y = 215
|
|
198
|
select.entity.popup.width = 380
|
|
199
|
select.entity.popup.height = 120
|
|
200
|
select.entity.popup.title = Select Entity
|
|
201
|
select.entity.popup.ok.x = 260
|
|
202
|
select.entity.popup.ok.y = 80
|
|
203
|
select.entity.popup.reset.x = 140
|
|
204
|
select.entity.popup.reset.y = 80
|
|
205
|
select.entity.popup.cancel.x = 20
|
|
206
|
select.entity.popup.cancel.y = 80
|
|
207
|
select.entity.popup.label.x = 20
|
|
208
|
select.entity.popup.label.y = 40
|
|
209
|
select.entity.popup.label.width = 100
|
|
210
|
select.entity.popup.label.text = Entity:
|
|
211
|
select.entity.popup.type.x = 140
|
|
212
|
select.entity.popup.type.y = 40
|
|
213
|
select.entity.popup.type.width = 220
|
|
214
|
|
|
215
|
|
|
216
|
# edit node popup
|
|
217
|
edit.node.popup.x = 235
|
|
218
|
edit.node.popup.y = 165
|
|
219
|
edit.node.popup.width = 380
|
|
220
|
edit.node.popup.height = 220
|
|
221
|
edit.node.popup.title = Edit Node
|
|
222
|
edit.node.popup.ok.x = 260
|
|
223
|
edit.node.popup.ok.y = 180
|
|
224
|
edit.node.popup.reset.x = 140
|
|
225
|
edit.node.popup.reset.y = 180
|
|
226
|
edit.node.popup.cancel.x = 20
|
|
227
|
edit.node.popup.cancel.y = 180
|
|
228
|
edit.node.popup.elements.spacing = 5
|
|
229
|
edit.node.popup.labels.x = 20
|
|
230
|
edit.node.popup.labels.y = 40
|
|
231
|
edit.node.popup.labels.width = 100
|
|
232
|
edit.node.popup.values.x = 140
|
|
233
|
edit.node.popup.values.y = 40
|
|
234
|
edit.node.popup.values.width = 220
|
|
235
|
|
|
236
|
# add edge popup
|
|
237
|
add.edge.popup.x = 235
|
|
238
|
add.edge.popup.y = 215
|
|
239
|
add.edge.popup.width = 380
|
|
240
|
add.edge.popup.height = 120
|
|
241
|
add.edge.popup.title = Add Edge
|
|
242
|
add.edge.popup.ok.x = 260
|
|
243
|
add.edge.popup.ok.y = 80
|
|
244
|
add.edge.popup.reset.x = 140
|
|
245
|
add.edge.popup.reset.y = 80
|
|
246
|
add.edge.popup.cancel.x = 20
|
|
247
|
add.edge.popup.cancel.y = 80
|
|
248
|
add.edge.popup.label.x = 20
|
|
249
|
add.edge.popup.label.y = 40
|
|
250
|
add.edge.popup.label.width = 100
|
|
251
|
add.edge.popup.label.text = Type:
|
|
252
|
add.edge.popup.type.x = 140
|
|
253
|
add.edge.popup.type.y = 40
|
|
254
|
add.edge.popup.type.width = 220
|