From 900aeb2924eb7c4cefc08ce0eb051e4d6b4cfb4a Mon Sep 17 00:00:00 2001
From: Rainer Klute <rainer.klute@gmx.de>
Date: Tue, 12 Jul 2016 10:43:54 +0200
Subject: [PATCH] Layout problem on Linux fixed (issue #814).

---
 .../yakindu/sct/examples/wizard/pages/SelectExamplePage.java    | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/plugins/org.yakindu.sct.examples.wizard/src/org/yakindu/sct/examples/wizard/pages/SelectExamplePage.java b/plugins/org.yakindu.sct.examples.wizard/src/org/yakindu/sct/examples/wizard/pages/SelectExamplePage.java
index 21123f84b7..39d7ebf6df 100644
--- a/plugins/org.yakindu.sct.examples.wizard/src/org/yakindu/sct/examples/wizard/pages/SelectExamplePage.java
+++ b/plugins/org.yakindu.sct.examples.wizard/src/org/yakindu/sct/examples/wizard/pages/SelectExamplePage.java
@@ -154,6 +154,7 @@ private void init(final IProgressMonitor monitor) {
 				@Override
 				public void run() {
 					messageArea.showDownload();
+					messageArea.getParent().layout(true);
 				}
 			});
 		} else if (!exampleService.isUpToDate(monitor)) {
@@ -162,6 +163,7 @@ public void run() {
 				public void run() {
 					setInput(monitor);
 					messageArea.showUpdate();
+					messageArea.getParent().layout(true);
 				}
 			});
 		} else {