enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-23 15:12:15 +03:00
Code Issues Projects Releases Wiki Activity
5f1539d531
enso/app
History
Michael Mauderer 5f1539d531
Better sorting after filtering items in the Component Browser (#4115) 
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.
2023-03-16 11:23:40 +00:00
..
gui Better sorting after filtering items in the Component Browser (#4115) 2023-03-16 11:23:40 +00:00
ide-desktop Enable clipboard access. (#5958) 2023-03-15 19:21:29 +01:00