command_close_current.e

   1 class COMMAND_CLOSE_CURRENT
   2 inherit COMMAND
   3 creation make
   4 feature
   5     main : NETWALK
   6
   7     make(m : NETWALK) is
   8     do
   9         main := m
  10     end
  11
  12     execute is
  13     do
  14         main.close_current_window
  15     end
  16 end