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.

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 'qq11'.

Section

title	Related Scripts

Display Table

doctype	app-script
render-no-hits-as-blank	true
select	Name, Short Description
render-classes	related-scripts-table, display-table, related-scripts
where	$<Tags>~(${Tags})

...

Space shortcuts