public interface DocumentationManagerProtocol
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
KEEP_SCROLLING_POSITION_REF
A special 'ref' value (see
PSI_ELEMENT_PROTOCOL_REF_SEPARATOR ) which can be used to request keeping the scrolling position
unchanged. |
static java.lang.String |
PSI_ELEMENT_PROTOCOL
The protocol used for linking to PSI elements in quick documentation.
|
static java.lang.String |
PSI_ELEMENT_PROTOCOL_REF_SEPARATOR
Separator between PSI element link and a reference to specific text fragment, which should be scrolled to on navigation.
|
static final java.lang.String PSI_ELEMENT_PROTOCOL
DocumentationManagerUtil
,
Constant Field Valuesstatic final java.lang.String PSI_ELEMENT_PROTOCOL_REF_SEPARATOR
PSI_ELEMENT_PROTOCOL
links, full link should look like psi_element://link###ref
.static final java.lang.String KEEP_SCROLLING_POSITION_REF
PSI_ELEMENT_PROTOCOL_REF_SEPARATOR
) which can be used to request keeping the scrolling position
unchanged. This can be useful e.g. if navigation over some link just appends some content to already displayed content.