src/net/sourceforge/desert/ui/DesertFrame.java

   1 /*
   2  * Copyright (c) 2010 The Desert team
   3  *
   4  * Permission is hereby granted, free of charge, to any person
   5  * obtaining a copy of this software and associated documentation
   6  * files (the "Software"), to deal in the Software without
   7  * restriction, including without limitation the rights to use,
   8  * copy, modify, merge, publish, distribute, sublicense, and/or sell
   9  * copies of the Software, and to permit persons to whom the
  10  * Software is furnished to do so, subject to the following
  11  * conditions:
  12  *
  13  * The above copyright notice and this permission notice shall be
  14  * included in all copies or substantial portions of the Software.
  15  *
  16  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
  17  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
  18  * OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  19  * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
  20  * HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
  21  * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
  22  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
  23  * OTHER DEALINGS IN THE SOFTWARE.
  24  *
  25  */
  26 package net.sourceforge.desert.ui;
  27
  28 import java.awt.Dimension;
  29 import java.awt.Frame;
  30 import java.awt.event.WindowAdapter;
  31 import java.awt.event.WindowEvent;
  32
  33 /**
  34  *
  35  * @author codistmonk (creation 2010-04-16)
  36  */
  37 @SuppressWarnings("serial")
  38 class DesertFrame extends Frame {
  39
  40     private final DesertPanel desertPanel;
  41
  42     public DesertFrame() {
  43         this.desertPanel = new DesertPanel();
  44
  45         this.getDesertPanel().getDrawingBoard().setPreferredSize(new Dimension(DRAWING_BOARD_PREFERRED_WIDTH, DRAWING_BOARD_PREFERRED_HEIGHT));
  46         this.add(this.getDesertPanel());
  47
  48         this.addWindowListener(new ApplicationCloser());
  49         this.pack();
  50         this.setLocationRelativeTo(null);
  51     }
  52
  53     /**
  54      *
  55      * @return
  56      * <br>A non-null value
  57      * <br>A reference
  58      */
  59     public final DesertPanel getDesertPanel() {
  60         return desertPanel;
  61     }
  62
  63     public static final int DRAWING_BOARD_PREFERRED_WIDTH = 400;
  64
  65     public static final int DRAWING_BOARD_PREFERRED_HEIGHT = 300;
  66
  67     /**
  68      *
  69      * @author codistmonk (creation 2010-04-16)
  70      */
  71     private static class ApplicationCloser extends WindowAdapter {
  72
  73         @Override
  74         public void windowClosing(WindowEvent e) {
  75             System.exit(0);
  76         }
  77
  78     }
  79
  80 }