mirror of
https://github.com/enso-org/enso.git
synced 2024-12-26 10:42:44 +03:00
58fbd8e9e8
- Closes https://github.com/enso-org/cloud-v2/issues/619 - Async execution controls # Important Notes There is no design for this, as such, implementation details use placeholder designs. - The context menu uses a play icon. An icon similar in style to the "copy" icon *may* work to represent "run in background", but it may be difficult to visually represent that it is being run in the background, without obstructing it with a foreground window - The icon for projects being run in the background have a green tint, to distinguish them from projects that will be (or are currently) opened in the editor. - this will ***almost certainly*** need to be replaced with a proper design - This *may* also make sense for the local backend, *however* as I don't know whether there is a way to access the completion progress of execution from the PM API, local backend support is currently *not* implemented in this PR. - On a related note: as far as I am aware, there is also no such endpoint for the cloud backend. However, support for async execution was recently added, so I am adding the basic functionality corresponding to the `executeAsync` project state. - Whether a project is being run in the background is currently lost on refresh. This is because the async execution state is currently not sent by the backend. - Placeholder shortcuts have been added (Shift+Enter - Cmd+Enter is already taken by the "share" action, and shift+double click). These are totally optional, and can easily be removed. |
||
|---|---|---|
| .. | ||
| accessed_by_projects.svg | ||
| accessed_data.svg | ||
| add_connector.svg | ||
| add_folder.svg | ||
| add_network.svg | ||
| arrow_right.svg | ||
| arrow_up.svg | ||
| at.svg | ||
| background.png | ||
| blank_16.svg | ||
| blank.svg | ||
| camera.svg | ||
| change_password.svg | ||
| chat.svg | ||
| close_large.svg | ||
| close.svg | ||
| cloud_to.svg | ||
| cloud.svg | ||
| command_key.svg | ||
| computer.svg | ||
| copy.svg | ||
| create_account.svg | ||
| cross.svg | ||
| ctrl_key.svg | ||
| data_download.svg | ||
| data_upload.svg | ||
| default_user.svg | ||
| discord.svg | ||
| docs.svg | ||
| down_caret.svg | ||
| drive.svg | ||
| duplicate.svg | ||
| enso_logo.svg | ||
| exclamation.svg | ||
| find.svg | ||
| folder.svg | ||
| geo.svg | ||
| go_back.svg | ||
| heart.svg | ||
| home2.svg | ||
| home.svg | ||
| integrations.png | ||
| lock.svg | ||
| network.svg | ||
| not_cloud.svg | ||
| open_count.svg | ||
| open.svg | ||
| option_key.svg | ||
| package.json | ||
| pen.svg | ||
| people.svg | ||
| play2.svg | ||
| play.svg | ||
| plus.svg | ||
| project_icon.svg | ||
| recent.svg | ||
| root.svg | ||
| scissors.svg | ||
| secret.svg | ||
| settings.svg | ||
| shift_key.svg | ||
| sign_in.svg | ||
| sign_out.svg | ||
| sort_ascending.svg | ||
| sort_descending.svg | ||
| spreadsheets.svg | ||
| stop.svg | ||
| tag.svg | ||
| temp.svg | ||
| text.svg | ||
| tick.svg | ||
| time.svg | ||
| trash2.svg | ||
| trash.svg | ||
| triangle_down.svg | ||
| visualize.png | ||
| windows_key.svg | ||
| youtube.svg | ||
