Bug 538973: [ScriptShell] History view does not scroll to the end

  fixed with workaround: make sure to add an additional offset to the
  original calculation

Change-Id: Ifb7ab3b0f7a33ea51efe0a768205fa78e7f01b20

1 files changed, 13 insertions, 4 deletions

diff --git a/plugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/ScriptHistoryText.java b/plugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/ScriptHistoryText.java
index 54d484c0..4da7f0d3 100644
--- a/plugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/ScriptHistoryText.java
+++ b/plugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/ScriptHistoryText.java
@@ -227,8 +227,7 @@ public class ScriptHistoryText extends StyledText implements IExecutionListener
 					setStyleRange(styleRange);
 
 					// scroll to end of window
-					setHorizontalPixel(0);
-					setTopPixel(getLineHeight() * getLineCount());
+					scrollToEnd();
 				}
 			});
 		}
@@ -272,13 +271,23 @@ public class ScriptHistoryText extends StyledText implements IExecutionListener
 				setStyleRange(styleRange);
 
 				// scroll to end of window
-				setHorizontalPixel(0);
-				setTopPixel(getLineHeight() * getLineCount());
+				scrollToEnd();
 			}
 		});
 	}
 
 	/**
+	 * Vertically scroll to the end of the history text.
+	 */
+	private void scrollToEnd() {
+		setHorizontalPixel(0);
+		// see https://bugs.eclipse.org/bugs/show_bug.cgi?id=538973
+		// seems the StyledText widget has a strange bug when trying to scroll correctly. we therefore add a factor to the calculated pixel offset to make sure
+		// we correctly scroll to the end.
+		setTopPixel((int) (getLineHeight() * getLineCount() * 1.1));
+	}
+
+	/**
 	 * Get a text representation for the script execution result.
 	 *
 	 * @param result