enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-22 22:10:15 +03:00
Code Issues Projects Releases Wiki Activity
7f19b09d13
enso/app
History
Michael Mauderer 7f19b09d13
Sync breadcrumbs and documentation panel. (#7508) 
Implements #7310.

![Peek 2023-08-09 16-07](https://github.com/enso-org/enso/assets/1428930/1a244e38-5c34-4c8b-8885-1cf84ac7b6a7)
2023-08-15 11:01:24 +00:00
..
gui Sync breadcrumbs and documentation panel. (#7508) 2023-08-15 11:01:24 +00:00
ide-desktop Load a maximum of one IDE entrypoint (#7570) 2023-08-14 11:28:40 +00:00