mirror of
https://github.com/enso-org/enso.git
synced 2024-12-23 02:01:47 +03:00
e21c5b1427
Implements #7312: Replace the legacy code used for the project breadcrumbs and update them to the new design. ![Peek 2023-08-21 13-40](https://github.com/enso-org/enso/assets/1428930/32d8f066-c80d-4915-8133-6dbc1edf70b3) ![Peek 2023-08-21 13-41](https://github.com/enso-org/enso/assets/1428930/a1e5aa7e-8776-4438-9c1e-80ac1afd0292) # Important Notes There is some ugly code around updating the theme. This should be fixed by providing a better mechanism to re-use components with different styles. The current mechanism assumes that a component will use the same theme for every instance. Implementing this is out of scope for this task, though. |
||
---|---|---|
.. | ||
gui | ||
ide-desktop |