public final class OpenedDocSettings extends Object
App.getOpenedDocumentSettings(com.xmlmind.xmleditapp.desktop.OpenedDocument)
.Modifier and Type | Field and Description |
---|---|
TabPosition |
tabPosition
The tab position of the document to be opened.
|
ViewSettings |
viewSettings
the view settings of the document to be opened.
|
Constructor and Description |
---|
OpenedDocSettings(TabPosition tabPosition,
ViewSettings viewSettings)
Constructs a settings object initialized using specified information.
|
Modifier and Type | Method and Description |
---|---|
static OpenedDocSettings |
parse(String spec,
App app)
Parse specified string and create the corresponding settings object.
|
public TabPosition tabPosition
null
which means: automatically determine the
tab position.public ViewSettings viewSettings
null
which means: default view settings.public OpenedDocSettings(TabPosition tabPosition, ViewSettings viewSettings)
tabPosition
- the tab position of the document to be opened.
May be null
which means: automatically determine the
tab position.viewSettings
- the view settings of the document to be opened.
May be null
which means: default view settings.public static OpenedDocSettings parse(String spec, App app)
null
if the specification cannot be parsed.