 Jan Enders
|
81df30e5bd
Fixed Bug when adding Nodes to empty underlay graph
|
7 лет назад |
|
Jan Enders
|
c2e020c073
Merge remote-tracking branch 'origin/Jascha'
|
7 лет назад |
 jascha Bohne
|
73e20a5f4a
more more fixes
|
7 лет назад |
|
Jan Enders
|
7defb3b34e
Fixed Edge staying selected on adding a new subgraph
|
7 лет назад |
|
jascha Bohne
|
31abcfb2cd
more fixes
|
7 лет назад |
|
jascha Bohne
|
1cdd4d1f50
fixes
|
7 лет назад |
|
jascha Bohne
|
9815f14ec8
fixed bugs
|
7 лет назад |
|
Jan Enders
|
7333a227f1
Merged Jascha and Jan, Operator Multigraph now (afaik) bug free!
|
7 лет назад |
|
Jan Enders
|
92f6e03ace
Fixed several bugs with Operator Multigraphs
|
7 лет назад |
|
jascha Bohne
|
160aabcb41
Edge propagation and Option saving
|
7 лет назад |
|
jascha Bohne
|
6758ae4289
now opens the last Graph at startup
|
7 лет назад |
|
Jan Enders
|
0295637166
Finalized Multigraph selection
|
7 лет назад |
|
Jan Enders
|
1794dece28
Formatting is your friend
|
7 лет назад |
|
Jan Enders
|
2147638482
Merged Jan
|
7 лет назад |
|
jascha Bohne
|
5da98a8375
added propagating of undeletes
|
7 лет назад |
|
Jan Enders
|
7bbd620c90
Manually made partial reset to Jaschas version
|
7 лет назад |
|
Jan Enders
|
4e2de447c1
Node and Edge Creation now use GraphManager instead of Graph directly,
|
7 лет назад |
|
jascha Bohne
|
e4689b3b1e
moar propagation
|
7 лет назад |
|
jascha Bohne
|
273acd0a5a
autoformat
|
7 лет назад |
|
jascha Bohne
|
aaccb0673d
added Operators
|
7 лет назад |
|
Jan Enders
|
63a6c1b2ae
Merge remote-tracking branch 'origin/Jascha'
|
7 лет назад |
|
jascha Bohne
|
0a508f432f
fixed bugs
|
7 лет назад |
|
Jan Enders
|
d8c7eaf668
Merge remote-tracking branch 'origin/Jascha'
|
7 лет назад |
|
jascha Bohne
|
a2c2fa7e8c
fixed bugs
|
7 лет назад |
|
jascha Bohne
|
6bcdc11aea
formated and organized inputs
|
7 лет назад |
|
Jan Enders
|
c69705f883
Small fixes and formatting
|
7 лет назад |
|
Jan Enders
|
45c0b4eab1
Merge remote-tracking branch 'origin/Jascha' into Jan
|
7 лет назад |
|
Jan Enders
|
ade59f7f08
refactored some thing from graphmanager to graphHelper
|
7 лет назад |
|
jascha Bohne
|
3c13cc633e
fixed bugs
|
7 лет назад |
|
Jan Enders
|
67d3bfa512
Fixed Edge deselection bug
|
7 лет назад |
