Nate Butler
fa3d29087d
Add REPL dropdown menu to toolbar ( #14493 )
...
TODO:
- [x] Actions run from menu not firing
- [x] Menu differentiates idle and busy for running kernel
Menu States:
- [x] No session && no support known
No session && no kernel installed for languages of known support
- (TODO after) Intro to REPL
- [x] Link to docs
No session but can start one
- [x] Start REPL
- (TODO after) More info -> Docs?
Yes Session
- [x] Info: Kernel name, language
example: chatlab-3.7-adsf87fsa (Python)
example: condapy-3.7 (Python)
- [x] Change Kernel -> https://zed.dev/docs/repl#change-kernel
- ---
- [x] Run
- [x] Interrupt
- [x] Clear Outputs
- ---
- [x] Shutdown
(Release notes left empty as the change will be documented in the REPL
release!)
Reserved for a follow on PR:
```
- [ ] Status should update when the menu is open (missing `cx.notify`?)
- [ ] Shutdown all kernels action
- [ ] Restart action
- [ ] [Default kernel changed - restart (this kernel) to apply] // todo!(kyle): need some kind of state thing that says if this has happened
```
Release Notes:
- N/A
---------
Co-authored-by: Marshall Bowers <elliott.codes@gmail.com >
Co-authored-by: Kyle Kelley <rgbkrk@gmail.com >
Co-authored-by: Piotr Osiewicz <24362066+osiewicz@users.noreply.github.com >
2024-07-15 11:55:49 -07:00
..
2024-06-28 08:34:06 -04:00
2024-03-18 10:59:19 -04:00
2024-01-08 11:55:51 -05:00
2024-05-26 16:30:09 -07:00
2023-11-20 10:46:23 -05:00
2023-11-20 10:46:23 -05:00
2023-11-20 10:46:23 -05:00
2024-05-26 16:30:09 -07:00
2023-09-15 12:50:49 -04:00
2023-11-20 10:46:23 -05:00
2024-01-03 11:45:41 -05:00
2024-01-02 16:41:56 +01:00
2024-03-18 10:59:19 -04:00
2024-03-18 10:59:19 -04:00
2024-03-18 10:59:19 -04:00
2024-03-18 10:59:19 -04:00
2023-09-15 12:50:49 -04:00
2024-06-25 11:43:30 -04:00
2024-06-25 11:43:30 -04:00
2024-06-25 11:43:30 -04:00
2023-09-15 12:50:49 -04:00
2023-09-15 12:50:49 -04:00
2023-09-15 12:50:49 -04:00
2023-08-30 11:14:50 -04:00
2024-03-18 10:59:19 -04:00
2024-07-15 11:55:49 -07:00
2023-08-14 15:50:42 -04:00
2023-08-14 15:50:42 -04:00
2023-08-14 15:50:42 -04:00
2024-06-26 13:02:58 -04:00
2023-08-14 15:50:42 -04:00
2023-09-15 12:50:49 -04:00
2024-05-02 13:01:21 -04:00
2023-11-20 10:46:23 -05:00
2024-06-11 12:39:45 +02:00
2023-11-20 10:46:23 -05:00
2024-03-18 10:59:19 -04:00
2023-09-15 12:50:49 -04:00
2023-09-15 12:50:49 -04:00
2023-09-15 12:50:49 -04:00
2023-08-14 15:50:42 -04:00
2023-12-01 15:30:01 -05:00
2024-05-14 13:48:36 +02:00
2023-11-05 01:06:41 -05:00
2024-01-03 11:14:33 -05:00
2023-09-15 12:50:49 -04:00
2023-09-15 12:50:49 -04:00
2023-09-15 12:50:49 -04:00
2023-08-16 13:48:12 -04:00
2023-08-30 11:14:50 -04:00
2024-01-03 11:14:33 -05:00
2023-09-15 12:50:49 -04:00
2024-04-19 14:27:56 -07:00
2023-09-15 12:50:49 -04:00
2024-03-18 10:59:19 -04:00
2023-09-15 12:50:49 -04:00
2023-08-14 15:50:42 -04:00
2024-06-26 13:02:58 -04:00
2024-06-26 13:02:58 -04:00
2024-06-26 13:02:58 -04:00
2024-07-02 16:15:59 -04:00
2024-07-02 16:15:59 -04:00
2024-07-02 16:15:59 -04:00
2024-07-02 16:15:59 -04:00
2023-12-18 12:56:57 -05:00
2023-08-14 15:57:31 -04:00
2024-05-14 11:22:09 +02:00
2024-05-07 16:36:13 -04:00
2024-05-07 16:36:13 -04:00
2023-08-16 23:38:11 +03:00
2024-05-16 16:55:54 -04:00
2024-04-19 14:27:56 -07:00
2024-06-26 13:02:58 -04:00
2023-10-17 13:34:51 -04:00
2024-06-12 23:22:52 +03:00
2023-09-15 14:21:33 -04:00
2024-03-18 10:59:19 -04:00
2023-08-14 15:50:42 -04:00
2024-04-23 13:31:21 -04:00
2023-12-19 10:30:46 -05:00
2023-12-19 10:30:46 -05:00
2024-01-03 11:45:41 -05:00
2023-09-15 12:50:49 -04:00
2023-12-19 10:30:46 -05:00
2023-11-20 10:46:23 -05:00
2024-01-03 11:45:41 -05:00
2024-01-03 11:45:41 -05:00
2024-04-11 18:36:58 +02:00
2024-04-19 15:15:19 +02:00
2024-02-19 18:41:43 +02:00
2023-09-15 12:50:49 -04:00
2024-03-18 10:59:19 -04:00
2023-10-17 13:30:09 -06:00
2024-04-19 18:54:20 +02:00
2023-12-19 10:30:46 -05:00
2024-04-11 23:07:29 -06:00
2024-07-15 11:55:49 -07:00
2024-07-10 09:20:52 -07:00
2024-07-10 09:20:52 -07:00
2024-07-10 09:20:52 -07:00
2024-03-18 10:59:19 -04:00
2024-03-18 10:59:19 -04:00
2024-03-18 10:59:19 -04:00
2024-04-11 18:36:58 +02:00
2024-05-29 11:40:43 +02:00
2024-01-03 11:14:33 -05:00
2024-05-27 13:48:21 -04:00
2024-06-18 12:16:54 -07:00
2024-06-11 12:39:45 +02:00
2024-05-27 13:48:21 -04:00
2024-06-05 13:42:51 -06:00
2024-04-11 23:07:29 -06:00
2024-04-23 15:33:09 -06:00
2023-11-20 10:46:23 -05:00
2024-04-16 18:03:54 -04:00
2023-12-19 10:30:46 -05:00
2024-01-03 11:14:33 -05:00
2024-06-05 22:10:02 -04:00
2024-06-05 22:10:02 -04:00
2024-01-03 11:45:41 -05:00
2024-01-03 11:45:41 -05:00
2024-05-02 13:01:21 -04:00
2023-08-14 15:50:42 -04:00
2024-06-03 15:58:43 +02:00
2024-06-03 15:58:43 +02:00
2023-09-15 14:14:28 -04:00
2024-06-11 12:39:45 +02:00
2024-05-07 16:36:13 -04:00
2024-05-03 12:50:42 -07:00
2024-05-03 12:50:42 -07:00
2024-05-03 12:50:42 -07:00
2024-05-03 12:50:42 -07:00
2024-01-03 11:14:33 -05:00
2024-03-18 10:59:19 -04:00
2024-06-18 12:16:54 -07:00
2024-04-23 13:31:21 -04:00
2024-05-27 17:44:54 -06:00
2023-10-16 15:53:29 -04:00
2023-09-15 11:16:30 -07:00
2024-06-26 13:02:58 -04:00
2023-11-18 00:54:01 -05:00
2024-04-23 13:31:21 -04:00
2023-08-14 15:50:42 -04:00
2024-06-04 18:36:54 +02:00
2024-05-01 12:56:27 -04:00
2023-09-15 12:50:49 -04:00