Historial de Commits

Autor SHA1 Mensaje Fecha
  MW 4e3a90213f comments!! hace 7 años
  MW aa9937aef2 different color for auto mapped Edges hace 7 años
  MW b3ea44a64d fixed cast to object bug hace 7 años
  MW 3db626f863 Merge branch 'Matthias' of hace 7 años
  MW eb3071b779 all the stuff hace 7 años
  MW 85ee2dffca Replaced every reference to Edge/Node with MyEdge/MyNode hace 7 años
  MW 3435e88923 fixed css bug "," wasn't allowed hace 7 años
  MW 49cd4e44e7 bug fixes hace 7 años
  MW 2504fe110b all the stuff hace 7 años
  Jan Enders 65c150af63 Removed TestOperator hace 7 años
  Jan Enders 81df30e5bd Fixed Bug when adding Nodes to empty underlay graph hace 7 años
  Jan Enders 13f3cb497d Made "Reset Mapping" disappear in other layers hace 7 años
  Jan Enders c2e020c073 Merge remote-tracking branch 'origin/Jascha' hace 7 años
  jascha Bohne 73e20a5f4a more more fixes hace 7 años
  Jan Enders 7defb3b34e Fixed Edge staying selected on adding a new subgraph hace 7 años
  jascha Bohne 31abcfb2cd more fixes hace 7 años
  dominik.renkel 034708be3e Fixed Bug in preferences and added value range for some fields hace 7 años
  jascha Bohne 1cdd4d1f50 fixes hace 7 años
  dominik.renkel 0100dd4226 Merge branch 'dominik' of hace 7 años
  dominik 29ddc4f93f Added User Interaction when trying to set wrong values in options window hace 7 años
  dominik 04c6fc3205 Fixed reset bug in preferences hace 7 años
  dominik b09388d458 reordered preferences hace 7 años
  jascha Bohne 9815f14ec8 fixed bugs hace 7 años
  dominik 451e437aa0 Added User Interaction when trying to set wrong values in options window hace 7 años
  dominik aac4207eec Fixed reset bug in preferences hace 7 años
  MW 9be44ddbb5 Replaced every reference to Edge/Node with MyEdge/MyNode hace 7 años
  Jan Enders 7333a227f1 Merged Jascha and Jan, Operator Multigraph now (afaik) bug free! hace 7 años
  Jan Enders 92f6e03ace Fixed several bugs with Operator Multigraphs hace 7 años
  jascha Bohne 160aabcb41 Edge propagation and Option saving hace 7 años
  MW ea9468890f fixed css bug "," wasn't allowed hace 7 años