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.
# 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
Michael Mauderer
0fd390de0c
Fix Match Scoring Algorithm ( #5665 )
...
Fixes an error in our scoring algorithm for computing match scores. It now correctly computes scores for patterns that are trailing the target text and ranks patterns at the end of the target text higher than patterns in the middle of the target text.
Closes #4965 (for now).
See also Discussion https://github.com/enso-org/enso/discussions/5649
2023-02-17 09:25:25 +00:00
Michał Wawrzyniec Urbańczyk
ad69eeb4ad
Build script merge ( #3743 )
...
Merged the build script into main repository. Some related cleanups.
2022-10-10 23:38:48 +02:00
Wojciech Daniło
61546a7ade
Wip/wdanilo/widgets 182746060 ( #3678 )
2022-10-04 04:51:27 +02:00
Wojciech Danilo
73f33d1c7f
Linting codebase
2022-03-10 05:32:33 +01:00
Adam Obuchowicz
c4d22102cf
Switch to 2021 edition ( #3173 )
2021-12-01 16:06:57 +01:00
Adam Obuchowicz
753f787a6f
Refactored config crate + moving crates to lib/rust directory. ( #3155 )
2021-11-12 13:56:23 +01:00
