Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[search-in-workspace] ensure a stable search-in-workspace result order #5669

Merged
merged 1 commit into from
Jul 10, 2019
Merged

[search-in-workspace] ensure a stable search-in-workspace result order #5669

merged 1 commit into from
Jul 10, 2019

Commits on Jul 9, 2019

  1. Ensure a stable search-in-workspace result order 

    Fixes #4113

Currently, the `search-in-workspace` result order is not consistent/stable
and can lead to different ordering between search results. The fix was to
ensure that the tree is properly rendered in order in the `onDone` callback.
The first step is to sort by the `root folders` and then update it's children
by sorting them as well.

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
    @vince-fugnitto
    vince-fugnitto committed Jul 9, 2019
    Configuration menu
    Copy the full SHA
    ca29b5c View commit details
    Browse the repository at this point in the history