00001 /* 00002 * NameCompletionListener.java 00003 * 00004 * Created on 10 December 2002, 13:40 00005 */ 00006 00007 package GuiComponents.Console; 00008 00013 public interface NameCompletionListener { 00019 public java.util.List completeName(String curCmd); 00020 }