dirk_krause.tools
Class DkGuiTool

java.lang.Object
  extended by dirk_krause.tools.DkGuiTool

public class DkGuiTool
extends java.lang.Object

GUI configuration tool. The constructor of the first instance changes the GUI configuration. Settings are read from the DkTool instance provided to the constructor. First we choose a look-and-feel, either system (default) or cross-platform look-and-feel. Next we inspect all fonts and font resources. If there are font sizes in use less than a specified minimum we correct the font size. Sometimes we want to replace all fonts of a family (i.e. Dialog) by another family (i.e. Verdana). These replacements are also done here.


Constructor Summary
DkGuiTool(DkTool d)
          Convenience constructor.
DkGuiTool(DkTool d, boolean useToolkit)
          Constructor.
 
Method Summary
 int getComponentBorder()
          Get space between components.
 java.lang.String getFontsAfterReplacement()
          Get list of fonts (family+size) used after replacement.
 java.lang.String getFontsBeforeReplacement()
          Get list of fonts (family+size) used before replacement.
 int getLafIndex()
          Get index of current look-and-feel (0=system LAF, 1=cross-platform LAF).
 int getMinimumFontSize()
          Get minimum font size.
 java.lang.String getNewFont()
          Get replacement font family name.
 java.lang.String getOldFont()
          Get font family name to replace.
 boolean getReplaceFonts()
          Get the replace-fonts flag.
 void save(int stage)
          Save settings (i.e.
 void setComponentBorder(int i)
          Set space between components.
 void setLafIndex(int i)
          Set index of look-and-feel.
 void setMinimumFontSize(int i)
          Set minimum font size (0 for no minimum size required).
 void setNewFont(java.lang.String s)
          Set replacement font family name.
 void setOldFont(java.lang.String s)
          Set font family name to replace.
 void setReplaceFonts(boolean b)
          Enable/disable font replacement.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DkGuiTool

public DkGuiTool(DkTool d,
                 boolean useToolkit)
Constructor.

Parameters:
d - General tool.
useToolkit - Flag: Allowed to find minimum font size automatically.

DkGuiTool

public DkGuiTool(DkTool d)
Convenience constructor.

Parameters:
d - General tool.
Method Detail

getComponentBorder

public int getComponentBorder()
Get space between components.

Returns:
Space between components in pixels.

setComponentBorder

public void setComponentBorder(int i)
Set space between components.

Parameters:
i - New space between components in pixels.

getLafIndex

public int getLafIndex()
Get index of current look-and-feel (0=system LAF, 1=cross-platform LAF).

Returns:
Index of current look-and-feel

setLafIndex

public void setLafIndex(int i)
Set index of look-and-feel.

Parameters:
i - Index of new look-and-feel.

getMinimumFontSize

public int getMinimumFontSize()
Get minimum font size.

Returns:
The minimum font size (0 for no minimum size required).

setMinimumFontSize

public void setMinimumFontSize(int i)
Set minimum font size (0 for no minimum size required).

Parameters:
i - New minimum font size.

setOldFont

public void setOldFont(java.lang.String s)
Set font family name to replace.

Parameters:
s - Name of font family to replace.

setNewFont

public void setNewFont(java.lang.String s)
Set replacement font family name.

Parameters:
s - The replacement font family name.

getOldFont

public java.lang.String getOldFont()
Get font family name to replace.

Returns:
The font family name to replace.

getNewFont

public java.lang.String getNewFont()
Get replacement font family name.

Returns:
The replacement font family name.

getReplaceFonts

public boolean getReplaceFonts()
Get the replace-fonts flag.

Returns:
Replace fonts setting.

setReplaceFonts

public void setReplaceFonts(boolean b)
Enable/disable font replacement.

Parameters:
b - New replacement flag value.

getFontsBeforeReplacement

public java.lang.String getFontsBeforeReplacement()
Get list of fonts (family+size) used before replacement.

Returns:
String containing the list.

getFontsAfterReplacement

public java.lang.String getFontsAfterReplacement()
Get list of fonts (family+size) used after replacement.

Returns:
String containing the list.

save

public void save(int stage)
Save settings (i.e. when closing the DkGuiDialog).

Parameters:
stage - 0=application, 1=+group, 2=+all.