public class ShowDocumentParams
extends java.lang.Object
Since 3.16.0
| Constructor and Description |
|---|
ShowDocumentParams() |
ShowDocumentParams(java.lang.String uri) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.Boolean |
getExternal()
Indicates to show the resource in an external program.
|
Range |
getSelection()
An optional selection range if the document is a text
document.
|
java.lang.Boolean |
getTakeFocus()
An optional property to indicate whether the editor
showing the document should take focus or not.
|
java.lang.String |
getUri()
The document uri to show.
|
int |
hashCode() |
void |
setExternal(java.lang.Boolean external)
Indicates to show the resource in an external program.
|
void |
setSelection(Range selection)
An optional selection range if the document is a text
document.
|
void |
setTakeFocus(java.lang.Boolean takeFocus)
An optional property to indicate whether the editor
showing the document should take focus or not.
|
void |
setUri(java.lang.String uri)
The document uri to show.
|
java.lang.String |
toString() |
public ShowDocumentParams()
public ShowDocumentParams(java.lang.String uri)
@Pure public java.lang.String getUri()
public void setUri(java.lang.String uri)
@Pure public java.lang.Boolean getExternal()
true.public void setExternal(java.lang.Boolean external)
true.@Pure public java.lang.Boolean getTakeFocus()
public void setTakeFocus(java.lang.Boolean takeFocus)
@Pure public Range getSelection()
public void setSelection(Range selection)
@Pure public java.lang.String toString()
toString in class java.lang.Object@Pure public boolean equals(java.lang.Object obj)
equals in class java.lang.Object@Pure public int hashCode()
hashCode in class java.lang.Object