test/jdk/javax/swing/JFrame/8016356/bug8016356.java

rev 51542 : 8210039: move OSInfo to top level testlibrary
Reviewed-by: duke

*** 26,37 ****
   * @key headful
   * @bug 8016356
   * @summary Any swing frame resizes ugly.
   * @author Oleg Pekhovskiy
   * @requires (os.family == "windows")
!  * @library ../../../../lib/testlibrary
!  * @build jdk.testlibrary.OSInfo
   * @run main bug8016356
   */
  
  import java.awt.AWTException;
  import java.awt.Color;
--- 26,37 ----
   * @key headful
   * @bug 8016356
   * @summary Any swing frame resizes ugly.
   * @author Oleg Pekhovskiy
   * @requires (os.family == "windows")
!  * @library /test/lib
!  * @build jdk.test.lib.Platform
   * @run main bug8016356
   */
  
  import java.awt.AWTException;
  import java.awt.Color;
*** 45,55 ****
  import java.awt.Toolkit;
  import java.awt.event.InputEvent;
  import javax.swing.JFrame;
  import javax.swing.JPanel;
  import javax.swing.SwingUtilities;
! import jdk.testlibrary.OSInfo;
  
  public class bug8016356 {
      private static JFrame frame;
      private static Color color;
      private static int scrTop;
--- 45,56 ----
  import java.awt.Toolkit;
  import java.awt.event.InputEvent;
  import javax.swing.JFrame;
  import javax.swing.JPanel;
  import javax.swing.SwingUtilities;
! 
! import jdk.test.lib.Platform;
  
  public class bug8016356 {
      private static JFrame frame;
      private static Color color;
      private static int scrTop;
*** 58,68 ****
      private static Dimension frSize;
  
      public static void main(String[] args) throws Exception {
  
          // Windows only test
!         if (OSInfo.getOSType() == OSInfo.OSType.WINDOWS) {
  
              // Retrieving top edge of Desktop
              GraphicsConfiguration grConf = GraphicsEnvironment
                      .getLocalGraphicsEnvironment().getDefaultScreenDevice()
                      .getDefaultConfiguration();
--- 59,69 ----
      private static Dimension frSize;
  
      public static void main(String[] args) throws Exception {
  
          // Windows only test
!         if (Platform.isWindows()) {
  
              // Retrieving top edge of Desktop
              GraphicsConfiguration grConf = GraphicsEnvironment
                      .getLocalGraphicsEnvironment().getDefaultScreenDevice()
                      .getDefaultConfiguration();