MW 85ee2dffca Replaced every reference to Edge/Node with MyEdge/MyNode 7 jaren geleden
..
css 3435e88923 fixed css bug "," wasn't allowed 7 jaren geleden
handlers 85ee2dffca Replaced every reference to Edge/Node with MyEdge/MyNode 7 jaren geleden
mapView 85ee2dffca Replaced every reference to Edge/Node with MyEdge/MyNode 7 jaren geleden
ButtonManager.java 13f3cb497d Made "Reset Mapping" disappear in other layers 7 jaren geleden
ConsoleManager.java 3c3776e199 Merged Jascha 7 jaren geleden
GUIController.java 13f3cb497d Made "Reset Mapping" disappear in other layers 7 jaren geleden
GraphDisplayManager.java 160aabcb41 Edge propagation and Option saving 7 jaren geleden
KeyValuePair.java 66b4cd416c Changes to the property window 7 jaren geleden
MenuBarManager.java 7defb3b34e Fixed Edge staying selected on adding a new subgraph 7 jaren geleden
MetricRowData.java e5e76b590a Added a console window for user 7 jaren geleden
MetricboxManager.java 6758ae4289 now opens the last Graph at startup 7 jaren geleden
OperatorManager.java 65c150af63 Removed TestOperator 7 jaren geleden
OptionsManager.java 034708be3e Fixed Bug in preferences and added value range for some fields 7 jaren geleden
PropertiesManager.java 85ee2dffca Replaced every reference to Edge/Node with MyEdge/MyNode 7 jaren geleden
StylesheetManager.java c69705f883 Small fixes and formatting 7 jaren geleden
ToolboxManager.java 85ee2dffca Replaced every reference to Edge/Node with MyEdge/MyNode 7 jaren geleden
dirEdge.png 6859f62a5c Made the project exportable into a jar 7 jaren geleden
procEn.png 6859f62a5c Made the project exportable into a jar 7 jaren geleden
sink.png 6859f62a5c Made the project exportable into a jar 7 jaren geleden
source.png 6859f62a5c Made the project exportable into a jar 7 jaren geleden
standard_operator.png 6859f62a5c Made the project exportable into a jar 7 jaren geleden
undirEdge.png 6859f62a5c Made the project exportable into a jar 7 jaren geleden