diff --git a/src/gui/org/deidentifier/arx/gui/view/impl/define/ViewAttributeList.java b/src/gui/org/deidentifier/arx/gui/view/impl/define/ViewAttributeList.java index a0670df5d7..c286f626c7 100644 --- a/src/gui/org/deidentifier/arx/gui/view/impl/define/ViewAttributeList.java +++ b/src/gui/org/deidentifier/arx/gui/view/impl/define/ViewAttributeList.java @@ -142,7 +142,7 @@ public void dispose() { public void reset() { this.attributes = null; this.table.setCurrentPage(0); - this.table.refreshPage(); + this.refreshTable(); SWTUtil.disable(this.table); } @@ -159,11 +159,11 @@ public void update(final ModelEvent event) { } else if (event.part == ModelPart.ATTRIBUTE_TYPE || event.part == ModelPart.ATTRIBUTE_TYPE_BULK_UPDATE) { if (!attributes.isEmpty()) { - table.refreshPage(); + this.refreshTable(); } } else if (event.part == ModelPart.DATA_TYPE) { if (!attributes.isEmpty()) { - table.refreshPage(); + this.refreshTable(); } } } @@ -243,7 +243,7 @@ private void actionDataTypeChanged(String label) { // Set and update if (changed) { this.model.getInputDefinition().setDataType(attribute, type); - table.refreshPage(); + this.refreshTable(); this.controller.update(new ModelEvent(this, ModelPart.DATA_TYPE, attribute)); } } @@ -375,7 +375,7 @@ else if (i == 3 && e.button == 1) { String attribute = (String)item.getData(); boolean isResponseVariable = !model.getInputDefinition().isResponseVariable(attribute); model.getInputDefinition().setResponseVariable(attribute, isResponseVariable); - table.refreshPage(); + refreshTable(); controller.update(new ModelEvent(this, ModelPart.RESPONSE_VARIABLES, attribute)); return; } @@ -386,7 +386,7 @@ else if (i == 3 && e.button == 1) { } }); this.table.setCurrentPage(0); - this.table.refreshPage(); + this.refreshTable(); } /** @@ -542,6 +542,14 @@ private boolean isValidDataType(DataType type, Collection values) { return true; } + /** + * Refresh the table + */ + private void refreshTable() { + this.table.getViewer().refresh(); + this.table.refreshPage(); + } + /** * Updates the view. * @@ -564,10 +572,10 @@ private void updateEntries() { // Refresh this.table.setCurrentPage(0); - this.table.refreshPage(); + this.refreshTable(); SWTUtil.enable(this.table); } - + /** * Update * @param attribute