projectdoc Search Tool

...

Section

title	Details
intro-text	More information on using this userscript.

Section

title	Search Tool Dialog

The projectdoc Search Tool is rendered as a dialog within the current page.

Screenshot showing the dialog window of the projectdoc Search Tool. Image RemovedImage Added

The help button currently directs directly to the

Static Document Link

document	Search Tips

on this server.

Section

title	Inspect Menu

In case the

Static Document Link

document	Inspect Menu for projectdoc

is installed, the userscript will be added as a menu item.

Per default the search dialog will open on clicking the shortcut 'qq'.

...

Space shortcuts