Stijn ("stain") Seghers 069fcf3928 Show error pop-up when failing to rename a project (#6366) ... Closes #5065: when a project can't be renamed, it now shows an error pop-up and stays in edit mode. https://user-images.githubusercontent.com/607786/234025360-6761f7d6-c13c-479c-a0ba-8af5d81f6e87.mp4		2023-05-08 10:12:26 +00:00
..
double-representation	Implement hiding context switch expression in graph editor (#6136)	2023-04-04 17:25:46 +00:00
engine-model	Build script merge (#3743)	2022-10-10 23:38:48 +02:00
engine-protocol	Show error pop-up when failing to rename a project (#6366)	2023-05-08 10:12:26 +00:00
src	Build script merge (#3743)	2022-10-10 23:38:48 +02:00
Cargo.toml	New IDE build script (#3466)	2022-05-23 04:16:04 +02:00