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
..
dist	UWP: Remove platform port, needs to be redone from scratch for 4.x	2023-09-07 15:01:59 +02:00
error_suppressions	Suppress NavigationServer race conditions	2023-08-07 18:49:28 -04:00
extension_api_validation	Clean up/refactor GraphNode and make it more flexible	2023-09-07 17:29:06 +02:00
hooks	Create an "Editor-only" section in the online class reference	2023-04-24 21:06:55 +02:00
scripts	CI: Compat checks: Make fetching the reference API more robust	2023-09-05 15:27:44 +02:00