somebody1234 704ddff624 Disable opening projects that are already opened by other users (#7660) ... - Closes https://github.com/enso-org/cloud-v2/issues/568 - Disable project with an `openedBy` that is not the current user Fixes other issues: - Fixes freshly restored saved projects not being unset when clicking stop before the editor first opens - Changes "unable to" in errors to "could not", for consistency - Users with insufficient permissions now see a network (node graph) icon instead of a play button:  # Important Notes None		2023-08-28 13:21:36 +00:00
..
gui	Replace old breadcrumb implementation in the top bar with new breadcrumb component. (#7619)	2023-08-24 22:01:46 +00:00
ide-desktop	Disable opening projects that are already opened by other users (#7660)	2023-08-28 13:21:36 +00:00