Hendrik Brucker 5afe78bd9c Clean up/refactor GraphNode and make it more flexible ...

Split GraphNode into GraphElement and GraphNode, add custom
titlebar, and adjust theming.

2023-09-07 17:29:06 +02:00

1 line

431 B

XML

Raw Blame History