RFR: 8260581: IGV: enhance node search [v4]

[Roberto Castañeda Lozano]

On Wed, 3 Feb 2021 07:34:55 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote:

>> Roberto Castañeda Lozano has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Sort same-rank matches by first-word numeric value
>>   
>>   Sort otherwise equally relevant matches by node id, which is by default the
>>   first word in node labels. Thanks to Christian Hagedorn for the suggestion and
>>   (slightly adapted) patch.
>
> Marked as reviewed by chagedorn (Reviewer).

Please sponsor.

-------------

PR: https://git.openjdk.java.net/jdk/pull/2285