 Jan Enders
|
c2e020c073
Merge remote-tracking branch 'origin/Jascha'
|
7 years ago |
 jascha Bohne
|
73e20a5f4a
more more fixes
|
7 years ago |
|
Jan Enders
|
7defb3b34e
Fixed Edge staying selected on adding a new subgraph
|
7 years ago |
|
jascha Bohne
|
31abcfb2cd
more fixes
|
7 years ago |
 dominik.renkel
|
034708be3e
Fixed Bug in preferences and added value range for some fields
|
7 years ago |
|
jascha Bohne
|
1cdd4d1f50
fixes
|
7 years ago |
|
dominik.renkel
|
0100dd4226
Merge branch 'dominik' of
|
7 years ago |
 dominik
|
29ddc4f93f
Added User Interaction when trying to set wrong values in options window
|
7 years ago |
|
dominik
|
04c6fc3205
Fixed reset bug in preferences
|
7 years ago |
|
dominik
|
b09388d458
reordered preferences
|
7 years ago |
|
jascha Bohne
|
9815f14ec8
fixed bugs
|
7 years ago |
|
dominik
|
451e437aa0
Added User Interaction when trying to set wrong values in options window
|
7 years ago |
|
dominik
|
aac4207eec
Fixed reset bug in preferences
|
7 years ago |
|
MW
|
9be44ddbb5
Replaced every reference to Edge/Node with MyEdge/MyNode
|
7 years ago |
|
Jan Enders
|
7333a227f1
Merged Jascha and Jan, Operator Multigraph now (afaik) bug free!
|
7 years ago |
|
Jan Enders
|
92f6e03ace
Fixed several bugs with Operator Multigraphs
|
7 years ago |
|
jascha Bohne
|
160aabcb41
Edge propagation and Option saving
|
7 years ago |
|
MW
|
ea9468890f
fixed css bug "," wasn't allowed
|
7 years ago |
|
Jan Enders
|
bcdefd7f71
Fixed Bugs with opGraph selection Box
|
7 years ago |
|
MW
|
4d73362fc5
bug fixes
|
7 years ago |
|
jascha Bohne
|
6758ae4289
now opens the last Graph at startup
|
7 years ago |
|
Jan Enders
|
257b567145
implemented OperatorInfoMetric, changed Debug to use User Console
|
7 years ago |
|
Jan Enders
|
576e0acd93
small fix for automaic Metric update on Mapping change
|
7 years ago |
|
Jan Enders
|
0295637166
Finalized Multigraph selection
|
7 years ago |
|
Jan Enders
|
1794dece28
Formatting is your friend
|
7 years ago |
|
Jan Enders
|
1740f63d2f
Merge remote-tracking branch 'origin/Julian'
|
7 years ago |
|
Jan Enders
|
965d79cfec
Merged Dominik
|
7 years ago |
|
Jan Enders
|
2147638482
Merged Jan
|
7 years ago |
|
Jan Enders
|
b149f4782b
Merged Jascha
|
7 years ago |
|
Jan Enders
|
0b05a32a70
Merge remote-tracking branch 'origin/Matthias'
|
7 years ago |
