International Input: InternationalInputContext.java Source File

00001 // (C) 2003 by Dominique Unruh. GPL 00002 00003 import java.net.*; 00004 import javax.swing.*; 00005 import java.util.*; 00006 00010 public interface InternationalInputContext { 00015 public void showInfo(String info, boolean log); 00017 public URL getDocumentBase(); 00022 public void showDocument(URL url, boolean top); 00026 public void showDocumentFromString(String source); 00030 public void addMenuBar(JMenuBar menuBar); 00038 public Properties getProperties(String names[]); 00044 public void setTitleInfo(String info); 00049 public boolean isExitAllowed(); 00050 }