*/
private void handleDownButtonPressed() {
if (selectedElement != null && selectedElement instanceof PropertiesConfig) {
PropertiesConfig config = (PropertiesConfig) selectedElement;
PropertiesConfigSet configSet = (PropertiesConfigSet) config.getElementParent();
configSet.moveConfigDown(config);
configSetsViewer.refresh(false);
hasUserMadeChanges = true;
}
}