3 Commits

Author	SHA1	Message	Date
Yuri Sizov	3d45f4b07e	Correctly setup tooltip's style as theme variation	2023-09-08 21:51:06 +02:00
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
Yuri Sizov	fd2ec47ec9	Move default theme files to scene/theme ... This also puts the default theme icons into their own folder.	2023-08-28 00:23:38 +02:00