private static class WindowManager.WorkArea
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private int |
defaultColumns
The default number of columns for new windows.
|
private int |
defaultRows
The default number of rows for new windows.
|
private java.util.List<TitledWindow<?>> |
fixedOrderWindows
Storage for windows, following their creation order.
|
private int |
locationDx
The Y delta when placing a new window.
|
private int |
locationDy
The X delta when placing a new window.
|
private java.util.Set<TopLevelWindow<?>> |
silencedWindows
Set of silenced windows, no particular ordering is implied here.
|
private java.util.List<TitledWindow<?>> |
windows
Storage for windows.
|
private int |
x
The default X location for new windows.
|
private int |
y
The default Y location for new windows.
|
Modifier | Constructor and Description |
---|---|
private |
WorkArea() |
private java.util.List<TitledWindow<?>> windows
private java.util.List<TitledWindow<?>> fixedOrderWindows
private java.util.Set<TopLevelWindow<?>> silencedWindows
private int defaultRows
private int defaultColumns
private int x
private int y
private int locationDy
private int locationDx