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    }