com.xmlmind.xmleditapp.desktop

Class TabPosition

java.lang.Object

com.xmlmind.xmleditapp.desktop.TabPosition

public final class TabPosition
extends Object

Advanced API: Part of the information returned by App.getOpenedDocumentSettings(com.xmlmind.xmleditapp.desktop.OpenedDocument).

See Also:

OpenedDocSettings

Field Summary

Fields

Modifier and Type	Field and Description
boolean	atStart The area containing the tabs may have been split in two parts.
int	index The index of the tab containing an opened document.

Constructor Summary

Constructors

Constructor and Description
TabPosition(int index, boolean atStart) Constructs a position object initialized using specified information.

Method Summary

Modifier and Type	Method and Description
static TabPosition	fromString(String spec) Returns a position object created by parsing its string representation.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

index

public int index

The index of the tab containing an opened document.

atStart

public boolean atStart

The area containing the tabs may have been split in two parts. atStart is false if the tab is found at the bottom part (horizontal split) or at the right part (vertical split).

Constructor Detail

TabPosition

public TabPosition(int index,
                   boolean atStart)

Constructs a position object initialized using specified information.

Method Detail

fromString

public static TabPosition fromString(String spec)

Returns a position object created by parsing its string representation. Returns null if specified string cannot be parsed as a position object.

toString

public String toString()

Overrides:

toString in class Object