SearchBar Mod

Introduction
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.



Please report bugs via the issue tracker on GitHub.


 * Author: Suzanne Soy
 * Source code on github: https://github.com/SuzanneSoy/SearchBar

Installation
For manual installation see Installing more workbenches.