mirror of
https://github.com/openjdk/jdk.git
synced 2026-01-30 04:58:25 +00:00
ae2c5f07ce
Allow users to search by node id or name by default, show partial matches when searching for a specific property, show 'All N matching nodes' entry only if relevant, and rank results by level of matching. Co-authored-by: Christian Hagedorn <chagedorn@openjdk.org> Reviewed-by: chagedorn, vlivanov, xliu