Dmitry Bushev 5dc2c4c5fd Notification about the project rename action (#7613) ... close #7604 After moving the rename action to the dashboard, IDE is unaware of the new project name. PR implements a new `refactoring/projectRenamed` notification that is sent from the server to clients and informs them about the changed project name. # Important Notes https://github.com/enso-org/enso/assets/357683/7c62726d-217e-4e69-8e48-568e0b7b8c34		2023-08-22 11:32:46 +00:00
..
gui	Notification about the project rename action (#7613)	2023-08-22 11:32:46 +00:00
ide-desktop	New user menu (#7581)	2023-08-21 15:05:57 +00:00