| .. |
|
EdgeView.java
|
0cab2c64e7
make edges grey
|
hace 6 años |
|
MainView.java
|
0106770845
bedder user configurrable interface
|
hace 6 años |
|
NiceButton.java
|
a66a016d26
work on javadoc and do some refactoring
|
hace 7 años |
|
NodeView.java
|
6ad14b86c9
displaying dummy nodes differently
|
hace 6 años |
|
OptionsDialog.java
|
536acf8e9c
translations
|
hace 6 años |
|
PseudoCodeRenderer.java
|
d290c49730
Syntax highting for pseudo code
|
hace 6 años |
|
RandomGraphDialog.java
|
16e06e608c
Display Option hinzugefügt, um zu bestimmen welche Layouts angezeigt werden sollen
|
hace 6 años |
|
RenderHelper.java
|
6453425e1c
further color changes
|
hace 7 años |
Kolja Strohm
0106770845
bedder user configurrable interface