private void updateRoundedBorder(
final int width,
final Color color,
final int topLeft,
final int topRight,
final int bottomRight,
final int bottomLeft) {
Iterator iter = controls.iterator();
while (iter.hasNext()) {
Control control = (Control) iter.next();
Object adapter = control.getAdapter(IWidgetGraphicsAdapter.class);
IWidgetGraphicsAdapter gfxAdapter = (IWidgetGraphicsAdapter) adapter;
gfxAdapter.setRoundedBorder(width, color, topLeft, topRight, bottomRight, bottomLeft);
}
}
private void updateBgGradient() {
Iterator iter = controls.iterator();
while (iter.hasNext()) {
Control control = (Control) iter.next();
Object adapter = control.getAdapter(IWidgetGraphicsAdapter.class);
IWidgetGraphicsAdapter gfxAdapter = (IWidgetGraphicsAdapter) adapter;
if (showBgGradient) {
Color[] gradientColors =
new Color[] {
BGG_COLOR_BLUE, BGG_COLOR_GREEN, BGG_COLOR_BLUE, BGG_COLOR_GREEN, BGG_COLOR_BLUE
};
int[] percents = new int[] {0, 25, 50, 75, 100};
gfxAdapter.setBackgroundGradient(gradientColors, percents);
} else {
gfxAdapter.setBackgroundGradient(null, null);
}
}
}
