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

static java.lang.String

KEY_SETTINGS

Fields inherited from class oracle.javatools.data.HashStructureAdapter

_hash

Constructor Summary

EditorsOptions()

EditorsOptions(HashStructure hash)

Method Summary

java.util.Map	getEditorsData() Deprecated. Not used. Always returns null.
static EditorsOptions	getInstance(PropertyStorage prefs)
java.util.ArrayList	getLruFiles()
boolean	isRecentFilesShowAll()
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)

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 getLruFiles()

setLruFiles

public void setLruFiles(java.util.ArrayList lruFiles)

isRecentFilesShowAll

public boolean isRecentFilesShowAll()

setRecentFilesShowAll

public void setRecentFilesShowAll(boolean showAll)

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.