001 package org.util.html.render;
002
003
004 import java.util.*;
005 import java.io.*;
006 import java.net.*;
007 import java.awt.*;
008 import java.awt.event.*;
009 import javax.swing.*;
010 import javax.swing.event.*;
011
012 import org.util.html.objects.*;
013 import org.util.html.event.*;
014
015 public interface HTMLDocumentRendererListener {
016
017 public void repaint();
018
019 }