}
}
private void updateAlignmentButtons(final ElementAlignment align)
{
final XulButton alignLeftBtn = (XulButton) getDocument().getElementById(ALIGN_DETAIL_LEFT_BTN_ID);
final XulButton alignCenterBtn = (XulButton) getDocument().getElementById(ALIGN_DETAIL_CENTER_BTN_ID);
final XulButton alignRightBtn = (XulButton) getDocument().getElementById(ALIGN_DETAIL_RIGHT_BTN_ID);
final XulButton alignJustifyBtn = (XulButton) getDocument().getElementById(ALIGN_DETAIL_JUSTIFY_BTN_ID);
alignLeftBtn.setSelected(align == ElementAlignment.LEFT);
alignCenterBtn.setSelected(align == ElementAlignment.CENTER);
alignRightBtn.setSelected(align == ElementAlignment.RIGHT);
alignJustifyBtn.setSelected(align == ElementAlignment.JUSTIFY);
}