private static class FontManager.WorkArea
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private FontDetails<?> |
defaultFixedFont
The default fixed font for this session.
|
private FontDetails<?> |
defaultFont
The default font for this session.
|
private EnvironmentDaemon |
ed
Access to the client's environment.
|
private java.util.Map<java.lang.String,FontManager.EnvironmentFontTable> |
envFontTables
A map of environment names to their associated font-table.
|
private java.util.Map<java.lang.String,FontDetails<?>> |
fontCache
A font-key to font details map, containing all the fonts loaded by this client.
|
private boolean |
initialized
Flag to track if the work area has been initialized.
|
private boolean |
isThreeD
Flag identifying if this session was started in 3d.
|
private ServerExports |
server
The server exports.
|
private FontDetails<?>[] |
systemFonts
The system fonts for this session.
|
private java.util.Map<java.lang.String,int[]> |
textMetrics
A cache of text metrics.
|
private java.util.Map<Window<?>,FontManager.EnvironmentFontTable> |
windowFontTables
A map of window to its in-use environment, as when it was created.
|
Constructor and Description |
---|
WorkArea()
Create a new work-area.
|
Modifier and Type | Method and Description |
---|---|
FontDetails<?> |
createFont(FontDetails<?> details)
Create a new font, with the specified details.
|
void |
initialize(ServerExports server)
Initialize this work area.
|
private final java.util.Map<java.lang.String,FontDetails<?>> fontCache
private final java.util.Map<Window<?>,FontManager.EnvironmentFontTable> windowFontTables
private final java.util.Map<java.lang.String,FontManager.EnvironmentFontTable> envFontTables
private FontDetails<?> defaultFont
private FontDetails<?> defaultFixedFont
private FontDetails<?>[] systemFonts
private boolean isThreeD
true
.private ServerExports server
private EnvironmentDaemon ed
null
if not on a Windows OS.private final java.util.Map<java.lang.String,int[]> textMetrics
private boolean initialized
public void initialize(ServerExports server)
server
- The server exports.public FontDetails<?> createFont(FontDetails<?> details)
It will access the server-side for details about the legacy metrics and/or custom definition.
details
- The font specifications.FontDetails
instance, with this font.