SearchBar Mod: Difference between revisions
Suzanne.soy (talk | contribs) (Created wiki page for the SearchBar mod) |
(No difference)
|
Revision as of 20:10, 16 October 2021
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 issue tracker on GitHub
- Author: [[User:Suzanne.soy]
- Source code on github:
Installation
For manual installation see Installing more workbenches.