Skip to main content
Version: v4

Document navigator

General

By default, the document navigator is opened on the thumb explorer. The user can browse between panels by clicking on the corresponding icon. He can close the panel by clicking on the icon corresponding to the opened panel.

  • Key: documentnavigator
DescriptionParameter KeyType
Width of document navigatorwidthPixels
Time before splitter ears disappear (Depreacted in v.4.7.0)ears.hideTimerDelayMilliseconds
Position of the splitter on openinginitialWidthDefault: default position; Reduced: hidden; Expanded: at 70% of window width (Enum)

Thumb explorer

The table below lists the general configuration of the explorer allowing to browse into documents through thumbs.

  • Key: thumbexplorer

    DescriptionParameter KeyType
    Enable/disable the explorerenabledBoolean
    Indentation between a master document and its childrenindentationPixels
    Depth level of documents to loadmaxLevelToLoadInteger
    Enable/disable metadata displaymetadataBoolean
arender.properties
# Disable the thumb explorer
thumbexplorer.enabled=false

The table below enumerates specific configuration related to thumbs.

  • Key: thumbexplorer.thumb

    DescriptionParameter KeyType
    Default width of the thumbswidthPixels
    Margin between each thumbmarginPixels
    Explorer width from which thumbs are expandedgrow.minPixels
    Increment of thumb expandinggrow.incrementPixels
    NAgrow.ratioInteger
arender.properties
# Define an explorer whose thumbs are expanded when it is maximized by a user
thumbexplorer.thumb.width=100
thumbexplorer.thumb.margin=200
thumbexplorer.thumb.increment=10

Legacy annotation explorer

  • Key: annotationexplorer

    DescriptionProperty keyType
    Enable/Disable this explorerenabledBoolean
    Display Sticky note answershowStickyNoteRepliesBoolean
    Display Sticky note label before contentshowStickyNoteLabelBoolean
    Adapt explorer size to fit to the annotation tableadaptiveWidth.enabledBoolean
arender.properties
annotationexplorer.enabled=false
annotationExplorer.showStickyNoteReplies=false
annotationExplorer.showStickyNoteLabel=true
annotationExplorer.adaptativeWidth.enabled=false

Annotation explorer

  • Key: annotation.comment.explorer

    DescriptionProperty keyType
    Possibility to display annotations in minimized formatinline.enabledBoolean
    Display annotations in minimized format when annotation explorer is openedshow.annotation.minimized.on.openBoolean
arender.properties
annotation.comment.explorer.inline.enabled=true
annotation.comment.explorer.show.annotation.minimized.on.open=false

Bookmark explorer

  • Key: bookmarkexplorer

    DescriptionParameter KeyType
    Enable/Disable this explorerenabledBoolean
arender.properties
# Disable the bookmark explorer
bookmarkexplorer.enabled=false