class interface CMD_TEXT

creation
   make (tw: TEXT; tx: STRING)
      --  Make.

      require
         ok: tw /= Void and tx /= Void
      ensure
         keep_reference: text_window = tw and text_string = tx

feature(s) from GUI_COMMAND
   execute
      --  Callback.



end of CMD_TEXT