# HG changeset patch
# User Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
# Date 1355238189 -3600
# Node ID 39b4d5d590ba5a7019229baff950311c1717230c
# Parent  cd79dc4676889907d5520200daf42df457b52048
Add comment for page change handler. (Redrawing of colors)

diff -r cd79dc467688 -r 39b4d5d590ba src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java
--- a/src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java	Tue Dec 11 15:49:23 2012 +0100
+++ b/src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java	Tue Dec 11 16:03:09 2012 +0100
@@ -303,6 +303,8 @@
 	    pager.setDisplay(this.elementsTable);
 
 	    dataProvider.setList(this.actualObjectSet);
+	    
+	    //Redraw row colors on page change
 	    this.elementsTable.addRangeChangeHandler(new RangeChangeEvent.Handler(){
 	    	public void onRangeChange(RangeChangeEvent event){
 	    		updateView(false);