class interface CMD_OPTIONS

creation
   make (p: G)
      --  Create.


feature(s) from GUI_COMMAND
   execute
      --  Command



end of CMD_OPTIONS