somebody1234 b52e8eb9b0 Improve tab bar (#10333) ... - Add close button to Editor tab - Convert Settings page into a modal (not guaranteed to be the final design, but it makes sense to change it to a modal for now at least) # Important Notes None		2024-06-24 16:02:22 +00:00
..
gui2	Wip/mk/default visualisations for connections (#10340)	2024-06-24 10:53:46 +00:00
ide-desktop	Improve tab bar (#10333)	2024-06-24 16:02:22 +00:00