From 0c287de8dbd0f8090cfec01965b01700385fc5e7 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Nov 2006 16:43:11 +0000
Subject: [PATCH] Experiments table scrolls to bottom of list when adding a new
 experiment.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@130 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/properties/GUIExperimentTable.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prism/src/userinterface/properties/GUIExperimentTable.java b/prism/src/userinterface/properties/GUIExperimentTable.java
index c8255aea..b25d1ae1 100644
--- a/prism/src/userinterface/properties/GUIExperimentTable.java
+++ b/prism/src/userinterface/properties/GUIExperimentTable.java
@@ -201,7 +201,9 @@ public class GUIExperimentTable extends JTable
 		public int addExperiment(GUIExperiment e)
 		{
 			experiments.add(e);
-			fireTableRowsInserted(experiments.size()-1, experiments.size()-1);
+			int i = experiments.size()-1;
+			fireTableRowsInserted(i, i);
+			scrollRectToVisible(getCellRect(i, 0, true));
 			return experiments.indexOf(e);
 		}