|
graphview.css
|
graphmanager: add a light mode
|
2023-02-13 16:39:47 +01:00 |
|
graphview.rs
|
graphmanager: add link name
|
2023-08-26 12:52:30 +02:00 |
|
LICENSE
|
graphmanager: update link license
|
2022-02-16 17:10:34 +01:00 |
|
link.rs
|
graphmanager: add link name
|
2023-08-26 12:52:30 +02:00 |
|
mod.rs
|
graphmanager: add link name
|
2023-08-26 12:52:30 +02:00 |
|
node.rs
|
node: provide an API to fetch port by name
|
2023-02-14 10:18:06 +01:00 |
|
node.ui
|
GPS: introduce the graphmanager
|
2022-01-11 20:48:53 +01:00 |
|
port.rs
|
graphmanager: update and fix for gtk4-rs 0.6.1
|
2023-02-13 21:45:54 +01:00 |
|
port.ui
|
GPS: introduce the graphmanager
|
2022-01-11 20:48:53 +01:00 |
|
property.rs
|
graphmanager: cleanup the license
|
2022-02-09 11:28:27 +01:00 |
|
selection.rs
|
graphmanager: cleanup the license
|
2022-02-09 11:28:27 +01:00 |
