| .. |
|
css
|
4e3a90213f
comments!!
|
7 years ago |
|
handlers
|
fe02d9552f
Merge remote-tracking branch 'origin/dominik'
|
7 years ago |
|
mapView
|
fe02d9552f
Merge remote-tracking branch 'origin/dominik'
|
7 years ago |
|
ButtonManager.java
|
fe02d9552f
Merge remote-tracking branch 'origin/dominik'
|
7 years ago |
|
ConsoleManager.java
|
3c3776e199
Merged Jascha
|
7 years ago |
|
GUIController.java
|
aa9937aef2
different color for auto mapped Edges
|
7 years ago |
|
GraphDisplayManager.java
|
eb3071b779
all the stuff
|
7 years ago |
|
KeyValuePair.java
|
66b4cd416c
Changes to the property window
|
7 years ago |
|
MenuBarManager.java
|
7defb3b34e
Fixed Edge staying selected on adding a new subgraph
|
7 years ago |
|
MetricRowData.java
|
e5e76b590a
Added a console window for user
|
7 years ago |
|
MetricboxManager.java
|
6758ae4289
now opens the last Graph at startup
|
7 years ago |
|
OperatorManager.java
|
aa9937aef2
different color for auto mapped Edges
|
7 years ago |
|
OptionsManager.java
|
fe02d9552f
Merge remote-tracking branch 'origin/dominik'
|
7 years ago |
|
PropertiesManager.java
|
fe02d9552f
Merge remote-tracking branch 'origin/dominik'
|
7 years ago |
|
StylesheetManager.java
|
eb3071b779
all the stuff
|
7 years ago |
|
ToolboxManager.java
|
85ee2dffca
Replaced every reference to Edge/Node with MyEdge/MyNode
|
7 years ago |
|
dirEdge.png
|
6859f62a5c
Made the project exportable into a jar
|
7 years ago |
|
procEn.png
|
6859f62a5c
Made the project exportable into a jar
|
7 years ago |
|
sink.png
|
6859f62a5c
Made the project exportable into a jar
|
7 years ago |
|
source.png
|
6859f62a5c
Made the project exportable into a jar
|
7 years ago |
|
standard_operator.png
|
6859f62a5c
Made the project exportable into a jar
|
7 years ago |
|
undirEdge.png
|
6859f62a5c
Made the project exportable into a jar
|
7 years ago |
Jan Enders
fe02d9552f
Merge remote-tracking branch 'origin/dominik'
