public class WinContr
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
WinContr() |
WinContr(java.lang.String storeDirectory) |
Modifier and Type | Method and Description |
---|---|
void |
close(java.awt.Window currentWindow)
Closes the window after saving its properties for later recovery.
|
void |
close(java.awt.Window currentWindow,
boolean systemExitIfMainWindow) |
static void |
create(java.lang.String storeDirectory)
Loads the user's preferences from a specific directory.
|
void |
forceExecutionInEventQueue(java.lang.Runnable runnable) |
static WinContr |
getInstance() |
boolean |
layout(java.awt.Window currentWindow)
Layouts a window as previously used by the current user.
|
void |
reset()
Resets window size and location definition, e.g. to force new packing after change of font size.
|
void |
saveProperties(java.awt.Window currentWindow)
Saves the properties of a window
|
void |
warnNotEventQueue(java.lang.Class<?> debuggedClass) |
public WinContr()
public WinContr(java.lang.String storeDirectory)
public static void create(java.lang.String storeDirectory)
storeDirectory
- the directory to load the preferences frompublic static final WinContr getInstance()
public boolean layout(java.awt.Window currentWindow)
currentWindow
- the window to be laid-outpublic void close(java.awt.Window currentWindow)
currentWindow
- the window to closepublic void close(java.awt.Window currentWindow, boolean systemExitIfMainWindow)
public void warnNotEventQueue(java.lang.Class<?> debuggedClass)
public void forceExecutionInEventQueue(java.lang.Runnable runnable)
public void reset()
public void saveProperties(java.awt.Window currentWindow)
currentWindow
- the window, whose properties are to be saved.Copyright 1998-2023 Christoph Mueller, Kaerntner Str. 56, D-70469 Stuttgart, Germany, https://www.perpus.de