enso/app/ide-desktop/lib
somebody1234 b69fa516b7
Fix play button on local backend (#7688)
If the user does not have sufficient permissions to open the project, the project no longer shows the play button. However, this does not work on the local backend because the local backend lacks permissions completely.

# Important Notes
None
2023-08-29 16:33:14 +00:00
..
assets Fix play button on local backend (#7688) 2023-08-29 16:33:14 +00:00
client Fix restoring cloud projects that have been closed (e.g. from inactivity) (#7584) 2023-08-25 13:19:31 +00:00
common Improve assets table display (#7500) 2023-08-28 18:01:40 +00:00
content Improve assets table display (#7500) 2023-08-28 18:01:40 +00:00
content-config Display user-provided project name in the top bar (#7533) 2023-08-11 12:32:46 +00:00
dashboard Fix play button on local backend (#7688) 2023-08-29 16:33:14 +00:00
esbuild-plugin-copy-directories Enable require-jsdoc lint and add two lints related to React (#6403) 2023-05-19 19:55:29 +00:00
icons Extract SVGs to files (#7076) 2023-06-23 10:47:04 +02:00
types Allow configuring Project Manager server host and port (#6774) 2023-08-25 07:33:31 +00:00