|
graphview.css
|
graphview: can now select nodes and links
|
2022-01-11 20:48:53 +01:00 |
|
graphview.rs
|
graphview: port to gtk4 version 0.4.1
|
2022-01-17 14:40:09 +01:00 |
|
link.rs
|
graphview: can now select nodes and links
|
2022-01-11 20:48:53 +01:00 |
|
mod.rs
|
graphview: can now select nodes and links
|
2022-01-11 20:48:53 +01:00 |
|
node.rs
|
graphmanager: save the position as an attribute
|
2022-01-17 10:39:11 +01:00 |
|
node.ui
|
GPS: introduce the graphmanager
|
2022-01-11 20:48:53 +01:00 |
|
port.rs
|
graphview: code cleanup
|
2022-01-12 11:15:52 +01:00 |
|
port.ui
|
GPS: introduce the graphmanager
|
2022-01-11 20:48:53 +01:00 |
