jascha Bohne 2f40462018 more more more fixes 7 年 前
..
css 1794dece28 Formatting is your friend 7 年 前
handlers 1794dece28 Formatting is your friend 7 年 前
mapView daafcbb6c4 Bug fix in Symbol rep 7 年 前
ButtonManager.java 92f6e03ace Fixed several bugs with Operator Multigraphs 7 年 前
ConsoleManager.java 3c3776e199 Merged Jascha 7 年 前
GUIController.java 1794dece28 Formatting is your friend 7 年 前
GraphDisplayManager.java 2f40462018 more more more fixes 7 年 前
KeyValuePair.java 66b4cd416c Changes to the property window 7 年 前
MenuBarManager.java 7333a227f1 Merged Jascha and Jan, Operator Multigraph now (afaik) bug free! 7 年 前
MetricRowData.java e5e76b590a Added a console window for user 7 年 前
MetricboxManager.java 6758ae4289 now opens the last Graph at startup 7 年 前
OperatorManager.java 2147638482 Merged Jan 7 年 前
OptionsManager.java 160aabcb41 Edge propagation and Option saving 7 年 前
PropertiesManager.java 1cdd4d1f50 fixes 7 年 前
StylesheetManager.java c69705f883 Small fixes and formatting 7 年 前
ToolboxManager.java 1cdd4d1f50 fixes 7 年 前
dirEdge.png 6859f62a5c Made the project exportable into a jar 7 年 前
procEn.png 6859f62a5c Made the project exportable into a jar 7 年 前
sink.png 6859f62a5c Made the project exportable into a jar 7 年 前
source.png 6859f62a5c Made the project exportable into a jar 7 年 前
standard_operator.png 6859f62a5c Made the project exportable into a jar 7 年 前
undirEdge.png 6859f62a5c Made the project exportable into a jar 7 年 前