Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Latest commit

 

History

History
History
30 lines (26 loc) · 919 Bytes

File metadata and controls

30 lines (26 loc) · 919 Bytes
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
################################################################################
# javafxgraph.properties
#
# ATTENTION: do not leave any trailing spaces after 'true' or 'false' values
#
################################################################################
# Vertex related configurations
#
vertex.allow-user-move = true
vertex.radius = 15
vertex.tooltip = true
vertex.label = true
# Edge related configurations
#
edge.tooltip = true
edge.label = false
# (deprecated! This is set internally by type of graph/digraph. Hence, has no effect.)
# #only makes sense if displaying an oriented graph
edge.arrow = true
# (automatic) Force-directed layout related configurations
# -- You should experiment with different values for your
# -- particular problem, knowing that not all will achieve
# -- a stable state
layout.repulsive-force = 25000
layout.attraction-force = 30
layout.attraction-scale = 10
Morty Proxy This is a proxified and sanitized view of the page, visit original site.