Add a filter to the plugin menu

[chapulina]

🎉 New feature

Closes gazebosim/gz-sim#821

Summary

Now that we have so many GUI plugins, it can be tough for users to get to the plugin they want, or to discover existing plugins.

This PR adds a field to the plugin menu so the user can filter plugins by name. This should help getting to plugins more easily.

Test it

Load ign gui or ign gazebo, open the menu, and filter away:

Checklist

• Signed all commits for DCO
• Added tests
• Added example and/or tutorial
• Updated documentation (as needed)
• Updated migration guide (as needed)
• codecheck passed (See contributing)
• All tests passed (See test coverage)
• While waiting for a review on your PR, please help review another open pull request to support the maintainers

Note to maintainers: Remember to use Squash-Merge

🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸🔸

[codecov]

Codecov Report

Merging #277 (9c7b4f5) into ign-gui3 (cdc6eac) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##           ign-gui3     #277   +/-   ##
=========================================
  Coverage     66.46%   66.46%           
=========================================
  Files            25       25           
  Lines          2949     2949           
=========================================
  Hits           1960     1960           
  Misses          989      989           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update cdc6eac...9c7b4f5. Read the comment docs.

[jennuine]

LGTM!

Currently, after you open the plugin menu, the text field needs to be clicked to begin typing. Is there a way to set it so that you can start typing in the text field automatically after clicking the plugin menu?

[chapulina]

Is there a way to set it so that you can start typing in the text field automatically after clicking the plugin menu?

Great idea, done in 84fbfe7

[peci1]

I have the impression that before this PR, the plugins used to be alphabetically sorted in the list. Now they appear in a random order and it's even larger mess than before.

[chapulina]

humm yeah you're right, they used to be alphabetically ordered since #71. I'm reopening gazebosim/gz-sim#175

[osrf-triage]

This pull request has been mentioned on Gazebo Community. There might be relevant details there:

https://community.gazebosim.org/t/new-ignition-releases-2022-01-10/1228/1