command_preset_change.e

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