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 }