SearchBar Mod

Other languages:

English
français
polski

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.

Screenshot of the search bar, with results in its drop-down menu and extra info about the result in a separate pane

Please report bugs via issue tracker on GitHub

Author: [[User:Suzanne.soy]
Source code on github:

[1]

Installation

For manual installation see Installing more workbenches.