mirror of
https://github.com/enso-org/enso.git
synced 2024-11-24 16:44:48 +03:00
7f8190e663
This PR adds a new variant of selection, where the mouse-hovered entry is highlighted and may be selected by clicking. In the video below, we have three grid views with slightly different settings: * In the left-top corner, both hover and selection highlight is just a shape under the label. Such a grid view does not require additional layers (when compared to non-selectable grid view). * In the left-bottom corner the hover is normal shape, but selection is a _masked layer_ which allows us to have different text color. This setting requires three more layers to render. * In the right-top corner, both hover and selection are displayed in the masked layer, creating 6 additional layers. https://user-images.githubusercontent.com/3919101/181514178-f243bfeb-f2dd-4507-adc3-5344ae0579b7.mp4 |
||
|---|---|---|
| .. | ||
| rust | ||
| scala | ||
| README.md | ||
Libraries
This directory contains the libraries that should remain in this project, but that are not technically part of the main language implementation itself.