oracle.ide.editor

Class EditorsOptions

java.lang.Object

oracle.javatools.data.HashStructureAdapter

oracle.ide.editor.EditorsOptions

All Implemented Interfaces:

Copyable

public class EditorsOptions
extends HashStructureAdapter
implements Copyable

This class was used to store the editors auto synchronize option. This mechanism has been replaced and editors should now use Editor.editorShown() and Editor.editorHidden() to determine if they must sync or not. This class is kept to allow migration of older settings.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	KEY_SETTINGS

Fields inherited from class oracle.javatools.data.HashStructureAdapter

_hash

Constructor Summary

Constructors

Constructor and Description
EditorsOptions()
EditorsOptions(HashStructure hash)

Method Summary

Modifier and Type	Method and Description
java.util.Map	getEditorsData() Deprecated. Not used. Always returns null.
static EditorsOptions	getInstance(PropertyStorage prefs)
java.util.ArrayList<RecentFile>	getLruFiles()
boolean	isRecentFilesShowAll()
boolean	isRecentFilesShowClosedOnly()
void	setEditorsData(java.util.Map map) Deprecated. Not used. This method is a no-op.
void	setLruFiles(java.util.ArrayList lruFiles)
void	setRecentFilesShowAll(boolean showAll)
void	setRecentFilesShowClosedOnly(boolean showClosedOnly)

Methods inherited from class oracle.javatools.data.HashStructureAdapter

addStructureChangeListener, containsKey, copyTo, copyToImpl, equals, equalsImpl, findOrCreate, forcedCopyTo, getHashStructure, removeStructureChangeListener, useObjectEquals

Methods inherited from class java.lang.Object

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

Methods inherited from interface oracle.javatools.util.Copyable

copyTo

Field Detail

KEY_SETTINGS

public static final java.lang.String KEY_SETTINGS

See Also:

Constant Field Values

Constructor Detail

EditorsOptions

public EditorsOptions()

EditorsOptions

public EditorsOptions(HashStructure hash)

Method Detail

getInstance

public static EditorsOptions getInstance(PropertyStorage prefs)

getLruFiles

public java.util.ArrayList<RecentFile> getLruFiles()

setLruFiles

public void setLruFiles(java.util.ArrayList lruFiles)

isRecentFilesShowAll

public boolean isRecentFilesShowAll()

setRecentFilesShowAll

public void setRecentFilesShowAll(boolean showAll)

isRecentFilesShowClosedOnly

public boolean isRecentFilesShowClosedOnly()

setRecentFilesShowClosedOnly

public void setRecentFilesShowClosedOnly(boolean showClosedOnly)

getEditorsData

public java.util.Map getEditorsData()

Deprecated. Not used. Always returns null.

setEditorsData

public void setEditorsData(java.util.Map map)

Deprecated. Not used. This method is a no-op.