4 commits

Author	SHA1	Message	Date
Rémi Verschelde	bc118b36ac	Merge pull request #82370 from YuriSizov/graphs-request-rename-close-delete-please ... Rename close requests to delete requests in `GraphEdit`	2023-10-02 13:16:28 +02:00
Yuri Sizov	596dd726a1	Use bound theme properties for documentation	2023-09-26 18:48:51 +02:00
Yuri Sizov	378ab38b1f	Rename close requests to delete requests in GraphEdit	2023-09-26 16:41:39 +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