@Override public void preShutdown() { if (Display.isCreated() && !Display.isFullscreen() && Display.isVisible()) { config.setWindowPosX(Display.getX()); config.setWindowPosY(Display.getY()); } }
graphics.config.y = Display.getY(); if (graphics.resize || Display.wasResized() || (int)(Display.getWidth() * Display.getPixelScaleFactor()) != graphics.config.width
graphics.config.y = Display.getY(); if (graphics.resize || Display.wasResized() || (int)(Display.getWidth() * Display.getPixelScaleFactor()) != graphics.config.width
public void setVisible(boolean isVisible){ if(isVisible){ // setLocation(appFrame.getX()+1+sysX,appFrame.getY()+sysY); setLocation(Display.getX()+1+sysX,Display.getY()+sysY); } super.setVisible(isVisible); // top=getInsets().top; // System.out.println("top="+top); }
@Override public void run() { if(isVisible()) setLocation(Display.getX()+1+sysX,Display.getY()+sysY); } },1,10);
@Override public void dispose () { boot.load(); boot.setWindowX(Display.getX()); boot.setWindowY(Display.getY()); boot.store(); // destroy display Display.destroy(); // destroy audio, if any if (this.audio != null) { this.audio.dispose(); this.audio = null; } } }
private void saveWindowParams() { int width = Display.getWidth(); int height = Display.getHeight(); int x = Display.getX(); int y = Display.getY(); //FIXME For some reason actual window position shifted by 6 pixels on Windows (by 12 at y when maximized). if (LWJGLUtil.getPlatform() == LWJGLUtil.PLATFORM_WINDOWS) { x += 6; y += 6; } Preferences prefs = Gdx.app.getPreferences("window_params.xml"); prefs.putInteger("x", x); prefs.putInteger("y", y); prefs.putInteger("width", width); prefs.putInteger("height", height); prefs.flush(); } }
setLocation(Display.getX()+sysX+1,Display.getY()+sysY); }else setVisible(false);
graphics.config.y = Display.getY(); if (graphics.resize || Display.wasResized() || (int)(Display.getWidth() * Display.getPixelScaleFactor()) != graphics.config.width
graphics.config.y = Display.getY(); if (graphics.resize || Display.wasResized() || (int) (Display.getWidth() * Display.getPixelScaleFactor()) != graphics.config.width