From bcd454b71159cdd0e59133fc2cc7ee143fdd57b6 Mon Sep 17 00:00:00 2001
From: Fabian Prasser <mail@fabian-prasser.de>
Date: Thu, 7 Jan 2021 15:16:22 +0100
Subject: [PATCH] Update wizard pages

---
 .../view/impl/wizard/HierarchyWizardPageBuilder.java   | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/gui/org/deidentifier/arx/gui/view/impl/wizard/HierarchyWizardPageBuilder.java b/src/gui/org/deidentifier/arx/gui/view/impl/wizard/HierarchyWizardPageBuilder.java
index 1f773bee1..6388caf4e 100644
--- a/src/gui/org/deidentifier/arx/gui/view/impl/wizard/HierarchyWizardPageBuilder.java
+++ b/src/gui/org/deidentifier/arx/gui/view/impl/wizard/HierarchyWizardPageBuilder.java
@@ -17,6 +17,7 @@
 
 package org.deidentifier.arx.gui.view.impl.wizard;
 
+import org.deidentifier.arx.gui.view.SWTUtil;
 import org.deidentifier.arx.gui.view.impl.wizard.HierarchyWizard.HierarchyWizardView;
 import org.eclipse.jface.wizard.IWizardPage;
 import org.eclipse.jface.wizard.WizardPage;
@@ -80,6 +81,15 @@ public void setVisible(boolean value){
     }
     
     @Override
+	protected boolean isCurrentPage() {
+		boolean current = super.isCurrentPage();
+		if (current) {
+			SWTUtil.redraw(this.getControl());
+		}
+		return current;
+	}
+
+	@Override
     public void update() {
         if (model.getError() != null) {
             this.setErrorMessage(model.getError());