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.