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