com.ibm.jdg2e.resources.extensions.markers
Class RecentEdits

java.lang.Object
  extended bycom.ibm.jdg2e.resources.extensions.markers.RecentEdits
All Implemented Interfaces:
org.eclipse.core.runtime.preferences.IEclipsePreferences.IPreferenceChangeListener

public class RecentEdits
extends java.lang.Object
implements org.eclipse.core.runtime.preferences.IEclipsePreferences.IPreferenceChangeListener

Implements support for a set of revolving markers that identify the most recently edited files. A fixed maximum number of markers are created. Internally a HashMap is used to track the marker-resource relationship and a Vector to implement a FIFO list of recently edited files and backtrack to the marker when one is removed.


Constructor Summary
RecentEdits()
          Constructor for RecentEdits which loads all markers into the internal HashMap and Vector.
 
Method Summary
 void preferenceChange(org.eclipse.core.runtime.preferences.IEclipsePreferences.PreferenceChangeEvent event)
          Listen for preference changes that signal a change in the rules.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RecentEdits

public RecentEdits()
Constructor for RecentEdits which loads all markers into the internal HashMap and Vector. This class is instantiated by the RecentEditsRCL resource change listener.

Method Detail

preferenceChange

public void preferenceChange(org.eclipse.core.runtime.preferences.IEclipsePreferences.PreferenceChangeEvent event)
Listen for preference changes that signal a change in the rules. In this situation the new value might be null as the default is not saved by the preference page logic.

Specified by:
preferenceChange in interface org.eclipse.core.runtime.preferences.IEclipsePreferences.IPreferenceChangeListener
See Also:
RecentEditsPreferencePage, IEclipsePreferences.IPreferenceChangeListener.preferenceChange(org.eclipse.core.runtime.preferences.IEclipsePreferences.PreferenceChangeEvent)