Userscripts for Navigation

The following userscripts use tools from the projectdoc Toolbox.

Name	Short Description	Repository
Hide projectdoc Tools	Removes projectdoc tools (blueprints and macros) from the current page.	hide-projectoc-tools.js
Inspect Menu for projectdoc	Renders a menu with tools to inspect information from a projectdoc document, shown in the browser.	projectdoc-inspect-menu.js
projectdoc Search Tool	Provides an interface to specify and launch queries for projectdoc documents.	projectdoc-search-tool.js
Refactor projectdoc Document	Adds a refactor menu and checks the current document for property issues.	projectdoc-refactor-document.js

Space shortcuts