Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Document Properties Marker
overridefalse
Short DescriptionThe bookmarklets editor is a simple page that allows teams to create their bookmarklets more easily. It also provides access to some standard bookmarklets provided for the projectdoc Toolbox. 
Doctypedoctypehide
NameBookmarklet Editor 
IDbookmarklet-editor 
SuiteBookmarklets Extension
SetBookmarklets Extensionhide
Parent

Parent Property
parent-doctypetopic
property-nameName

hide
Audience
Name List
doctyperole
render-no-hits-as-blanktrue
propertyAudience
 
Documentation Type
Name List
doctypedoctype-type
render-no-hits-as-blanktrue
propertyDocumentation Type
 

Categories
Name List
doctypecategory
propertyCategories
 

Tags

Tag List
namesBookmarklet

hide
Iteration

Iteration
valuefilled

hide
Since1.0hide
Deprecatedhide
Removedhide
Sort Keyhide
Section
indextrue
show-titlefalse
titleDescription

The bookmarklet editor allows to create bookmarklets and add them to the browser's menubar.

The bookmarklet examples provided with this add-on are only only working if the freely available Web API Extension is additionally installed.

 
Section
titleProperties


Section
titleSections

Section
titleDetails

...