mirror of
https://github.com/enso-org/enso.git
synced 2024-12-22 18:01:38 +03:00
9e4dd9d708
This PR adds a configurable delay before displaying documentation ([task](https://www.pivotaltracker.com/story/show/183970872)) and a "hovered item preview" caption on top of the panel when you hover some not-selected entry. ([task](https://www.pivotaltracker.com/story/show/183970838)). The caption design will be adjusted in a future PR with a style update. https://user-images.githubusercontent.com/6566674/214233481-10550fcf-a106-4b11-b5a2-15283745cbbf.mp4 |
||
---|---|---|
.. | ||
lib.rs |