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: [[User:Suzanne.soy]
 * Source code on github:



Installation
For manual installation see Installing more workbenches.