/* 
    P/P   *  Method: com.dmdirc.ui.CoreUIUtils__static_init
          */
     1  /*
     2   * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
     3   *
     4   * Permission is hereby granted, free of charge, to any person obtaining a copy
     5   * of this software and associated documentation files (the "Software"), to deal
     6   * in the Software without restriction, including without limitation the rights
     7   * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
     8   * copies of the Software, and to permit persons to whom the Software is
     9   * furnished to do so, subject to the following conditions:
    10   *
    11   * The above copyright notice and this permission notice shall be included in
    12   * all copies or substantial portions of the Software.
    13   *
    14   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
    15   * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
    16   * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
    17   * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
    18   * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
    19   * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
    20   * SOFTWARE.
    21   */
    22  package com.dmdirc.ui;
    23  
    24  import java.awt.GraphicsConfiguration;
    25  import java.awt.GraphicsDevice;
    26  import java.awt.MouseInfo;
    27  import java.awt.PointerInfo;
    28  import java.awt.Rectangle;
    29  import java.awt.Window;
    30  
    31  /**
    32   * Core UI Utilities.
    33   */
         /* 
    P/P   *  Method: void com.dmdirc.ui.CoreUIUtils()
          */
    34  public class CoreUIUtils {
    35      
    36      /**
    37       * Centre the specified window on the active monitor.
    38       * 
    39       * @param window Window to centre
    40       */
    41      public static void centreWindow(final Window window) {
    42          // Get the Location of the mouse pointer
                 /* 
    P/P           *  Method: void centreWindow(Window)
                  * 
                  *  Preconditions:
                  *    window != null
                  * 
                  *  Presumptions:
                  *    (-(java.awt.Window:getHeight(...)@56 - gcBounds.height@50))/2 + gcBounds.y@50 in {-231..232-1}
                  *    (-(java.awt.Window:getWidth(...)@55 - gcBounds.width@50))/2 + gcBounds.x@50 in {-231..232-1}
                  *    java.awt.GraphicsConfiguration:getBounds(...)@50 != null
                  *    java.awt.GraphicsDevice:getDefaultConfiguration(...)@47 != null
                  *    java.awt.MouseInfo:getPointerInfo(...)@43 != null
                  *    ...
                  */
    43          final PointerInfo myPointerInfo = MouseInfo.getPointerInfo();
    44          // Get the Device (screen) the mouse pointer is on
    45          final GraphicsDevice myDevice = myPointerInfo.getDevice();
    46          // Get the configuration for the device
    47          final GraphicsConfiguration myGraphicsConfig =
    48                  myDevice.getDefaultConfiguration();
    49          // Get the bounds of the device
    50          final Rectangle gcBounds = myGraphicsConfig.getBounds();
    51          // Calculate the centre of the screen
    52          // gcBounds.x and gcBounds.y give the co ordinates where the screen
    53          // starts. gcBounds.width and gcBounds.height return the size in pixels
    54          // of the screen.
    55          final int xPos = gcBounds.x + ((gcBounds.width - window.getWidth()) / 2);
    56          final int yPos = gcBounds.y + ((gcBounds.height - window.getHeight()) / 2);
    57          // Set the location of the window
    58          window.setLocation(xPos, yPos);
    59      }
    60  }