preset.e

   1 class PRESET
   2 creation make
   3 feature
   4     name : STRING
   5     setting : SETTING
   6
   7     make(s : STRING; w, h : INTEGER; wrap : BOOLEAN) is
   8     do
   9         !!name.copy(s)
  10         !!setting.make
  11         setting.put_width(w)
  12         setting.put_height(h)
  13         setting.put_wrap(wrap)
  14     end
  15
  16     hiscore : SCORE
  17     put_hiscore(s : SCORE) is
  18     do
  19         hiscore := s
  20     end
  21 end