public User() { WRec = new WriterReceiver(); commands = new List <Command>(); curr_index = 0; }
public WriterCommand(string textb, WriterReceiver new_receiver) { curr_text = textb; WRec = new_receiver; }