# HG changeset patch
# User Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
# Date 1355156902 -3600
# Node ID 5c51a488c822d556f04c1a90714b699176222971
# Parent  0a3dca94458c873f9351140ac71b3836b7c2cf56
fix: add missing refresh of highlights on range change of table

diff -r 0a3dca94458c -r 5c51a488c822 src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java
--- a/src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java	Mon Dec 10 17:17:10 2012 +0100
+++ b/src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java	Mon Dec 10 17:28:22 2012 +0100
@@ -21,6 +21,7 @@
 import com.google.gwt.view.client.CellPreviewEvent.Handler;
 import com.google.gwt.view.client.ListDataProvider;
 import com.google.gwt.view.client.Range;
+import com.google.gwt.view.client.RangeChangeEvent;
 import com.google.gwt.core.client.GWT;
 import com.google.gwt.dom.client.NodeList;
 import com.google.gwt.dom.client.Style.BorderStyle;
@@ -300,8 +301,13 @@
 
 	    SimplePager pager = new SimplePager();
 	    pager.setDisplay(this.elementsTable);
-	    
+
 	    dataProvider.setList(this.actualObjectSet);
+	    this.elementsTable.addRangeChangeHandler(new RangeChangeEvent.Handler(){
+	    	public void onRangeChange(RangeChangeEvent event){
+	    		updateView(false);
+	    	}
+	    });
 	    
 	    this.elementsTable.addCellPreviewHandler(new Handler<DataObject>()
 	    	    {