.. |
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 |