Notification about the project rename action

[4e6]

Pull Request Description

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

enso-7613.mp4

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• The documentation has been updated, if necessary.
• Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
• All code follows the
  Scala,
  Java,
  and
  Rust
  style guides. In case you are using a language not listed above, follow the Rust style guide.
• All code has been tested:
  • Unit tests have been written where possible.

[4e6]

@farmaazon @MichaelMauderer how do I update the label with the project name? In this PR I implemented the update of the project properties, but it does not change the displayed text.

enso/app/gui/src/model/project/synchronized.rs

Lines 230 to 240 in 6b79ab8

	fn rename_project_on_notification(
	project_renamed: language_server::types::ProjectRenamed,
	properties: Rc<RefCell<Properties>>,
	execution_contexts: Rc<ExecutionContextsRegistry>,
	) {
	let mut properties = properties.borrow_mut();
	properties.displayed_name = project_renamed.new_name.into();
	properties.project_name.project = project_renamed.new_normalized_name.clone().into();
	execution_contexts
	.rename_project(project_renamed.old_normalized_name, project_renamed.new_normalized_name);
	}

[vitvakatu]

@farmaazon @MichaelMauderer how do I update the label with the project name? In this PR I implemented the update of the project properties, but it does not change the displayed text.

We only read these properties once. Should be relatively easy change, I can do it in this branch later today if you want.

[4e6]

@vitvakatu thank you, I'd appreciate your help. Or you can leave me some pointers on where to start, or what files need to be changed. Whatever is easier for you

[vitvakatu]

@4e6 done, but I can't test it locally because I can't build the engine from the source. Please try it and tell me if it does not work. Also, I removed some old code from times the IDE was renaming on its own.

[4e6]

@vitvakatu thank you! The project name is updated now. I added a screencast to the description

[JaroslavTulach]

Does this mean there is no way to rename the project while the project is open in the IDE? I tried clicking the project name on Friday and I was surprised there was no response. I guess that is intentional then.

[vitvakatu]

Yep, it is intentional. In the new design, you have to use the dashboard for renaming.

[vitvakatu]

@Frizi or @MichaelMauderer please review, as I did some code changes myself.

[MichaelMauderer]

Reviewed only rust files.

[MichaelMauderer]

This is most likely fine currently, but it might be prudent to explicitly limit the mutable borrow doing another function call to avoid an accidental double borrow somewhere else.

[vitvakatu]

@4e6 FYI, you can either add drop(properties) after the last line that uses them or surround properties-related code with curly braces to do that.