Here you can find the source of setSize(Window window, double widthFactor, double heightFactor)
Parameter | Description |
---|---|
window | The window to set the size. |
widthFactor | The width factor of the screen size. |
heightFactor | The height factor of the screen size. |
public static void setSize(Window window, double widthFactor, double heightFactor)
//package com.java2s; /*// ww w . j av a 2 s . com * Copyright (C) 2015 Miquel Sas * * This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public * License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later * version. * * This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. * * You should have received a copy of the GNU General Public License along with this program. If not, see * <http://www.gnu.org/licenses/>. */ import java.awt.Dimension; import java.awt.GraphicsDevice; import java.awt.GraphicsEnvironment; import java.awt.Window; public class Main { /** * Sets the size of the window to a width and height factor of the screen size. * * @param window The window to set the size. * @param widthFactor The width factor of the screen size. * @param heightFactor The height factor of the screen size. */ public static void setSize(Window window, double widthFactor, double heightFactor) { Dimension screenSize = getScreenSize(window); int width = (int) (screenSize.getWidth() * widthFactor); int height = (int) (screenSize.getHeight() * heightFactor); window.setSize(width, height); } /** * Returns the size of the screen containing the argument window or the primary screen if current window is not * selected. * * @param window The window. * @return The screen size. */ public static Dimension getScreenSize(Window window) { return getGraphicsDevice(window).getConfigurations()[0].getBounds().getSize(); } /** * Returns the graphics device that should apply to a window. * * @param window The window. * @return The graphics device. */ public static GraphicsDevice getGraphicsDevice(Window window) { if (window != null) { return window.getGraphicsConfiguration().getDevice(); } return GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice(); } }