mirror of
https://github.com/enso-org/enso.git
synced 2024-12-21 04:51:38 +03:00
5f1539d531
Fixes #5849 Now, the filtering alters the groups' layout, so the group with the best match are placed first. Also, we ensure that the best match is selected after filter change. ![image](https://user-images.githubusercontent.com/3919101/224324736-0b4cdfb1-edb2-4d12-aab0-7cfb36207230.png) # Important Notes After all, I haven't taken the advices from [the task description](#5849): they turned out to require very difficult refactoring. |
||
---|---|---|
.. | ||
breadcrumbs | ||
grid | ||
icons | ||
src | ||
Cargo.toml |