gate.gui.docview
Class DocumentEditor.Settings

java.lang.Object
  gate.gui.docview.DocumentEditor.Settings

Enclosing class:

DocumentEditor

static class DocumentEditor.Settings
extends Object

Save and restore the layout of the views and selected annotations.

Field Summary

(package private) List<String[]>	annotationSetsTypes
(package private) int	bottomViewIdx
(package private) int	rightViewIdx

Constructor Summary

DocumentEditor.Settings()

Method Summary

void	restoreSettings(DocumentEditor de)
void	saveSettings(DocumentEditor de)

Methods inherited from class java.lang.Object

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

Field Detail

rightViewIdx

int rightViewIdx

bottomViewIdx

int bottomViewIdx

annotationSetsTypes

List<String[]> annotationSetsTypes

Constructor Detail

DocumentEditor.Settings

DocumentEditor.Settings()

Method Detail

saveSettings

public void saveSettings(DocumentEditor de)

restoreSettings

public void restoreSettings(DocumentEditor de)