Added more search keys to search GUI.

5 jobs for v0.7.5 in 32 minutes and 37 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build #1003916

00:22:27

passed buildgui #1003917

00:03:01

 
  Test
passed linting #1003918

00:02:19

passed tests #1003919

00:09:29

76.0%
 
  Release
passed release #1003920
manual

00:00:38