* @param prefs user preferences.
*/
private void initMarker(IFeedDisplay aDisplay, UserPreferences prefs)
{
// Init listener
ArticleMarker am = ArticleMarker.getInstance();
aDisplay.addListener(am.getFeedViewListener());
PropertyChangeListener l = am.getPreferencesListener(
UserPreferences.KEY_MARK_READ_AFTER_DELAY,
UserPreferences.KEY_MARK_READ_AFTER_SECONDS);
prefs.addPropertyChangeListener(UserPreferences.KEY_MARK_READ_AFTER_DELAY, l);
prefs.addPropertyChangeListener(UserPreferences.KEY_MARK_READ_AFTER_SECONDS, l);
// Init with current values
am.setIntervalMarkingEnabled(prefs.isMarkReadAfterDelay());
am.setMarkInterval(prefs.getMarkReadAfterSeconds());
}