MW eb3071b779 all the stuff il y a 7 ans
..
css eb3071b779 all the stuff il y a 7 ans
handlers eb3071b779 all the stuff il y a 7 ans
mapView eb3071b779 all the stuff il y a 7 ans
ButtonManager.java 13f3cb497d Made "Reset Mapping" disappear in other layers il y a 7 ans
ConsoleManager.java 3c3776e199 Merged Jascha il y a 7 ans
GUIController.java eb3071b779 all the stuff il y a 7 ans
GraphDisplayManager.java eb3071b779 all the stuff il y a 7 ans
KeyValuePair.java 66b4cd416c Changes to the property window il y a 7 ans
MenuBarManager.java 7defb3b34e Fixed Edge staying selected on adding a new subgraph il y a 7 ans
MetricRowData.java e5e76b590a Added a console window for user il y a 7 ans
MetricboxManager.java 6758ae4289 now opens the last Graph at startup il y a 7 ans
OperatorManager.java 65c150af63 Removed TestOperator il y a 7 ans
OptionsManager.java 034708be3e Fixed Bug in preferences and added value range for some fields il y a 7 ans
PropertiesManager.java eb3071b779 all the stuff il y a 7 ans
StylesheetManager.java eb3071b779 all the stuff il y a 7 ans
ToolboxManager.java 85ee2dffca Replaced every reference to Edge/Node with MyEdge/MyNode il y a 7 ans
dirEdge.png 6859f62a5c Made the project exportable into a jar il y a 7 ans
procEn.png 6859f62a5c Made the project exportable into a jar il y a 7 ans
sink.png 6859f62a5c Made the project exportable into a jar il y a 7 ans
source.png 6859f62a5c Made the project exportable into a jar il y a 7 ans
standard_operator.png 6859f62a5c Made the project exportable into a jar il y a 7 ans
undirEdge.png 6859f62a5c Made the project exportable into a jar il y a 7 ans