# general configuration temporaryIdPrefix = temporaryId # canvas canvas.x = 140 canvas.y = 0 canvas.width = 740 canvas.height = 550 canvas.node.spacing = 100 canvas.moving.factor = 50 canvas.scaling.factor = 1.25 # nodes node.size = 5 node.size.ratio = 6 node.border.width = 1 node.shadow.color = 0xffb7b7b7 node.label.field = title node.font.face = Verdana node.font.size = 12 node.font.color = 0xff7f7f7f node.tooltip.maxLength = 50 node.click.threshold = 250 node.url.prefix = ShowDocument.action?id= node.url.target = _blank # edges edge.shadow.color = 0xffb7b7b7 edge.font.face = Verdana edge.font.size = 12 edge.font.color = 0xff7f7f7f edge.curve.weight = 3 edge.arrow.size = 10 #menu menu.x = 0 menu.y = 0 menu.width = 140 menu.height = 550 menu.border.width = 1 menu.border.color = 0xff7f7f7f menu.background.color = 0xfffefefe menu.up.x = 70 menu.up.y = 30 menu.up.label = ↑ menu.left.x = 50 menu.left.y = 50 menu.left.label = ← menu.right.x = 90 menu.right.y = 50 menu.right.label = → menu.down.x = 70 menu.down.y = 70 menu.down.label = ↓ menu.zoom.in.x = 70 menu.zoom.in.y = 110 menu.zoom.in.label = + menu.zoom.out.x = 70 menu.zoom.out.y = 135 menu.zoom.out.label = - menu.layout.x = 20 menu.layout.y = 165 menu.layout.width = 100 menu.layout.label.1 = Layout 1 menu.layout.label.2 = Layout 2 menu.layout.label.3 = Layout 3 menu.layout.label.4 = Layout 4 menu.create.x = 20 menu.create.y = 205 menu.create.label = Create Node menu.import.x = 20 menu.import.y = 230 menu.import.label = Import Node menu.edit.x = 20 menu.edit.y = 255 menu.edit.label = Edit Node menu.delete.x = 20 menu.delete.y = 280 menu.delete.label = Delete Node menu.add.x = 20 menu.add.y = 320 menu.add.label = Add Relation menu.remove.x = 20 menu.remove.y = 345 menu.remove.label = Remove Relation menu.save.x = 20 menu.save.y = 385 menu.save.label = Save # logger logger.x = 140 logger.y = 400 logger.width = 550 logger.height = 150 logger.maxLines = 9 logger.border.width = 1 logger.border.color = 0xff7f7f7f logger.background.color = 0xfffefefe logger.font.face = Verdana logger.font.size = 12 logger.font.color = 0xff7f7f7f # legend legend.x = 695 legend.y = 400 legend.width = 150 legend.height = 150 legend.spacing = 5 legend.border.width = 1 legend.border.color = 0xff7f7f7f legend.background.color = 0xfffefefe legend.corner.size = 15 legend.font.face = Verdana legend.font.size = 12 legend.font.color = 0xff7f7f7f #buttons button.border.width = 1 button.border.color = 0xff7f7f7f button.background.color = 0xfffefefe button.shadow.color = 0xffb7b7b7 button.font.face = Verdana button.font.size = 12 button.font.color = 0xff7f7f7f button.rectangular.width = 100 button.rectangular.height = 20 button.round.size = 20 # dropdown menus dropdown.height = 20 dropdown.border.width = 1 dropdown.border.color = 0xff7f7f7f dropdown.background.color = 0xfffefefe dropdown.shadow.color = 0xffb7b7b7 dropdown.font.face = Verdana dropdown.font.size = 12 dropdown.font.color = 0xff7f7f7f dropdown.button.label = ▼ # popup windows popup.border.width = 1 popup.border.color = 0xff7f7f7f popup.shadow.color = 0xffb7b7b7 popup.background.color = 0xfffefefe popup.font.face = Verdana popup.font.size = 12 popup.font.color = 0xff7f7f7f popup.title.font.color = 0xffffffff popup.title.background.color = 0xff7f7f7f popup.element.height = 20 popup.cancel.label = Cancel popup.reset.label = Reset popup.ok.label = OK # create node popup create.node.popup.x = 235 create.node.popup.y = 215 create.node.popup.width = 380 create.node.popup.height = 120 create.node.popup.title = Create Node create.node.popup.ok.x = 260 create.node.popup.ok.y = 80 create.node.popup.reset.x = 140 create.node.popup.reset.y = 80 create.node.popup.cancel.x = 20 create.node.popup.cancel.y = 80 create.node.popup.label.x = 20 create.node.popup.label.y = 40 create.node.popup.label.width = 100 create.node.popup.label.text = Type: create.node.popup.type.x = 140 create.node.popup.type.y = 40 create.node.popup.type.width = 220 # import node popup import.node.popup.x = 235 import.node.popup.y = 215 import.node.popup.width = 380 import.node.popup.height = 120 import.node.popup.title = Import Node import.node.popup.ok.x = 260 import.node.popup.ok.y = 80 import.node.popup.reset.x = 140 import.node.popup.reset.y = 80 import.node.popup.cancel.x = 20 import.node.popup.cancel.y = 80 import.node.popup.label.x = 20 import.node.popup.label.y = 40 import.node.popup.label.width = 100 import.node.popup.label.text = Document: import.node.popup.document.x = 140 import.node.popup.document.y = 40 import.node.popup.document.width = 220 # select entity popup select.entity.popup.x = 235 select.entity.popup.y = 215 select.entity.popup.width = 380 select.entity.popup.height = 120 select.entity.popup.title = Select Entity select.entity.popup.ok.x = 260 select.entity.popup.ok.y = 80 select.entity.popup.reset.x = 140 select.entity.popup.reset.y = 80 select.entity.popup.cancel.x = 20 select.entity.popup.cancel.y = 80 select.entity.popup.label.x = 20 select.entity.popup.label.y = 40 select.entity.popup.label.width = 100 select.entity.popup.label.text = Entity: select.entity.popup.type.x = 140 select.entity.popup.type.y = 40 select.entity.popup.type.width = 220 # edit node popup edit.node.popup.x = 235 edit.node.popup.y = 165 edit.node.popup.width = 380 edit.node.popup.height = 220 edit.node.popup.title = Edit Node edit.node.popup.ok.x = 260 edit.node.popup.ok.y = 180 edit.node.popup.reset.x = 140 edit.node.popup.reset.y = 180 edit.node.popup.cancel.x = 20 edit.node.popup.cancel.y = 180 edit.node.popup.elements.spacing = 5 edit.node.popup.labels.x = 20 edit.node.popup.labels.y = 40 edit.node.popup.labels.width = 100 edit.node.popup.values.x = 140 edit.node.popup.values.y = 40 edit.node.popup.values.width = 220 # add edge popup add.edge.popup.x = 235 add.edge.popup.y = 215 add.edge.popup.width = 380 add.edge.popup.height = 120 add.edge.popup.title = Add Edge add.edge.popup.ok.x = 260 add.edge.popup.ok.y = 80 add.edge.popup.reset.x = 140 add.edge.popup.reset.y = 80 add.edge.popup.cancel.x = 20 add.edge.popup.cancel.y = 80 add.edge.popup.label.x = 20 add.edge.popup.label.y = 40 add.edge.popup.label.width = 100 add.edge.popup.label.text = Type: add.edge.popup.type.x = 140 add.edge.popup.type.y = 40 add.edge.popup.type.width = 220