MarkingsUpdateListener.java

package org.tvbrowser.tvbrowser;

public interface MarkingsUpdateListener {
  public void refreshMarkings();
}