mirror of
https://github.com/enso-org/enso.git
synced 2024-12-21 14:01:34 +03:00
4b28f8f8f0
This PR provides a visual indication of whether the project's current state differs from the most recent snapshot saved in the VCS. The project name displayed in the IDE changes to a darker text to indicate that the VCS snapshot is outdated, and back to a lighter text when the current project state corresponds to the last saved VCS snapshot. https://user-images.githubusercontent.com/117099775/208088438-20dfc2aa-2a7d-47bf-bc12-3d3dff7a4974.mp4 The outdated project snapshot indicator is set when: * A node is moved. * A node is added or removed. * The text editor is used to edit the text. * The project is auto-saved, and the auto-saved project state does not correspond to the last saved snapshot in the VCS. The outdated project snapshot indicator is cleared when: * A new project snapshot is successfully saved using `ctrl+s`. * The project is auto-saved, and the auto-saved project state is confirmed to correspond to the last saved snapshot in the VCS. This occurs, for example, when a project change is undone and the project is reverted to the last saved snapshot state. The auto-save events do not occur immediately after a project change but have a short delay, thus the VCS status update is affected by the same delay when triggered by an auto-save event. |
||
---|---|---|
.. | ||
derive | ||
hardcoded |