 dominik
|
04c6fc3205
Fixed reset bug in preferences
|
8 years ago |
|
dominik
|
b09388d458
reordered preferences
|
8 years ago |
 Jan Enders
|
7333a227f1
Merged Jascha and Jan, Operator Multigraph now (afaik) bug free!
|
8 years ago |
|
Jan Enders
|
92f6e03ace
Fixed several bugs with Operator Multigraphs
|
8 years ago |
 jascha Bohne
|
160aabcb41
Edge propagation and Option saving
|
8 years ago |
|
Jan Enders
|
bcdefd7f71
Fixed Bugs with opGraph selection Box
|
8 years ago |
|
jascha Bohne
|
6758ae4289
now opens the last Graph at startup
|
8 years ago |
|
Jan Enders
|
257b567145
implemented OperatorInfoMetric, changed Debug to use User Console
|
8 years ago |
|
Jan Enders
|
576e0acd93
small fix for automaic Metric update on Mapping change
|
8 years ago |
|
Jan Enders
|
0295637166
Finalized Multigraph selection
|
8 years ago |
|
Jan Enders
|
1794dece28
Formatting is your friend
|
8 years ago |
|
Jan Enders
|
1740f63d2f
Merge remote-tracking branch 'origin/Julian'
|
8 years ago |
|
Jan Enders
|
965d79cfec
Merged Dominik
|
8 years ago |
|
Jan Enders
|
2147638482
Merged Jan
|
8 years ago |
|
Jan Enders
|
b149f4782b
Merged Jascha
|
8 years ago |
|
Jan Enders
|
0b05a32a70
Merge remote-tracking branch 'origin/Matthias'
|
8 years ago |
|
Jan Enders
|
cc098d6bf1
Made Some Metrics a little more pretty
|
8 years ago |
|
jascha Bohne
|
316a70cdb0
moar propagating
|
8 years ago |
|
jascha Bohne
|
5da98a8375
added propagating of undeletes
|
8 years ago |
 dominik
|
0cdebd0094
Fixed property creation bug, with wrong input
|
8 years ago |
|
Jan Enders
|
886d8c8ece
Feedback on Mapping Edge creation, auto updating Metrics
|
8 years ago |
|
Jan Enders
|
aad1c87829
Add functionality in Operator selection box now works, switch
|
8 years ago |
|
Jan Enders
|
7bbd620c90
Manually made partial reset to Jaschas version
|
8 years ago |
|
Jan Enders
|
aa58554650
Stash some changes, selection box not yet finished
|
8 years ago |
|
jascha Bohne
|
555bbf2d76
basic mapping operator now internally sorts descending
|
8 years ago |
|
jascha Bohne
|
05f2a2db9d
fixed Import of Mapping
|
8 years ago |
|
Jan Enders
|
76ed34af07
removed some dead Code
|
8 years ago |
|
Jan Enders
|
4e2de447c1
Node and Edge Creation now use GraphManager instead of Graph directly,
|
8 years ago |
|
jascha Bohne
|
17d6fe1f2d
forgot to push a file last time
|
8 years ago |
|
jascha Bohne
|
e4689b3b1e
moar propagation
|
8 years ago |
