ini.getKeyIntValue("Window Titlebar", "TitlebarPixmapActiveLeft"),
ini.getKeyIntValue("Window Titlebar", "TitlebarPixmapActiveBottom"),
ini.getKeyIntValue("Window Titlebar", "TitlebarPixmapActiveRight"));
}
topSelected =
new DefaultButton(image,
image.getWidth(null),
image.getHeight(null),
border.top,
border.right,
border.bottom,
border.left);
topHeight = topSelected.getHeight();
}
path = ini.getKeyValue("Window Titlebar", "TitlebarPixmapInactive");
if (path != null) {
Image image = SkinUtils.loadImage(new URL(skinURL, path));
Insets border;
if (ini.getKeyValue("Window Titlebar", "TitlebarPixmapActiveBorder") != null) {
border = SkinUtils.stringToInsets(ini.getKeyValue("Window Titlebar", "TitlebarPixmapActiveBorder"));
} else {
border =
new Insets(ini.getKeyIntValue("Window Titlebar", "TitlebarPixmapActiveTop"),
ini.getKeyIntValue("Window Titlebar", "TitlebarPixmapActiveLeft"),
ini.getKeyIntValue("Window Titlebar", "TitlebarPixmapActiveBottom"),
ini.getKeyIntValue("Window Titlebar", "TitlebarPixmapActiveRight"));
}
topUnselected =
new DefaultButton(image,
image.getWidth(null),
image.getHeight(null),
border.top,
border.right,
border.bottom,