Translations:SearchBar Mod/3/en

This is an extension that adds a search bar next to the what's this? tool. The search results include tools, objects and preferences. Other mods can extend it by registering a result provider.