| .. |
|
CreationMode.java
|
e4b82f8e8e
Reviewed and Refactored, added lots of documentation, renamed
|
7 anos atrás |
|
EdgeSelectionHelper.java
|
aa9937aef2
different color for auto mapped Edges
|
7 anos atrás |
|
GUITheme.css
|
bf116a4ce9
Added ugly layer buttons
|
7 anos atrás |
|
Layer.java
|
e4b82f8e8e
Reviewed and Refactored, added lots of documentation, renamed
|
7 anos atrás |
|
Main.java
|
160aabcb41
Edge propagation and Option saving
|
7 anos atrás |
|
MainApp.java
|
aa9937aef2
different color for auto mapped Edges
|
7 anos atrás |
|
MainWindow.fxml
|
1740f63d2f
Merge remote-tracking branch 'origin/Julian'
|
7 anos atrás |
|
mapping_button.png
|
bf116a4ce9
Added ugly layer buttons
|
7 anos atrás |
|
operator_button.png
|
bf116a4ce9
Added ugly layer buttons
|
7 anos atrás |
|
sym_rep_button.png
|
bf116a4ce9
Added ugly layer buttons
|
7 anos atrás |
|
underlay_button.png
|
bf116a4ce9
Added ugly layer buttons
|
7 anos atrás |
MW
aa9937aef2
different color for auto mapped Edges
