mirror of
https://github.com/enso-org/enso.git
synced 2024-12-21 13:11:41 +03:00
987333e1d3
[ci no changelog needed] [Task link](https://www.pivotaltracker.com/story/show/181433641) This PR adds a left bar with section navigation buttons to the Searcher List Panel. The buttons are implemented as a list view with an adjusted style. https://user-images.githubusercontent.com/6566674/179517378-dba00f41-d32e-4ffb-a4d9-3cd376b3e781.mp4 |
||
---|---|---|
.. | ||
derive | ||
hardcoded |