Commit History

Author SHA1 Message Date
  dominik.renkel c1544ab6fa made alert windows nicer 7 years ago
  dominik.renkel fa2ba7f43f Fixed selection bug in Symbol layer 7 years ago
  dominik.renkel c58f10f66b Changed center Map constant 7 years ago
  dominik.renkel 04b82812a1 Fixed center Map bug, when all GeoPositions are on same Lat or Long 7 years ago
  dominik.renkel 034708be3e Fixed Bug in preferences and added value range for some fields 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
  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
  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
  Jan Enders bcdefd7f71 Fixed Bugs with opGraph selection Box 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
  Jan Enders cc098d6bf1 Made Some Metrics a little more pretty 7 years ago
  jascha Bohne 316a70cdb0 moar propagating 7 years ago
  jascha Bohne 5da98a8375 added propagating of undeletes 7 years ago
  dominik 0cdebd0094 Fixed property creation bug, with wrong input 7 years ago
  Jan Enders 886d8c8ece Feedback on Mapping Edge creation, auto updating Metrics 7 years ago