001 package org.util.html.event; 002 003 import java.util.*; 004 import java.io.*; 005 import java.net.*; 006 import java.awt.*; 007 import java.awt.event.*; 008 import javax.swing.*; 009 import javax.swing.event.*; 010 011 import org.util.html.objects.*; 012 public interface HTMLListener { 013 014 public void cleared(HTMLDocument doc); 015 public void added(HTMLDocument doc, HTMLObject obj); 016 public void removed(HTMLDocument doc, HTMLObject obj); 017 public void changed(HTMLDocument doc, HTMLObject obj); 018 019 }