/* ** j###t ########## #### #### ** j###t ########## #### #### ** j###T "###L J###" ** ######P' ########## ######### ** ######k, ########## T######T ** ####~###L #### ** #### q###L ########## .##### ** #### \###L ########## #####" ** ** Class: hide ** ** Class History ** ** Date Name Description ** ---------|------------|----------------------------------------------- ** 05Jul97 GJW History created */ package key.commands; import key.*; import java.io.IOException; import java.util.StringTokenizer; import java.util.Enumeration; public class History extends Command { public History() { setKey( "history" ); usage = ""; } public static final HeadingParagraph HEADING = new HeadingParagraph( "Last " + Player.MAX_HISTORY_LINES + " direct messages", HeadingParagraph.CENTRE ); public void run( Player p, StringTokenizer args, String fullLine, CategoryCommand caller, InteractiveConnection ic, Flags flags ) throws IOException { ic.send( HEADING ); for( Enumeration e = p.getTellHistory(); e.hasMoreElements(); ) ic.send( "? " + (String) e.nextElement() ); ic.sendLine(); } }