# HG changeset patch
# User Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
# Date 1355156230 -3600
# Node ID 0a3dca94458c873f9351140ac71b3836b7c2cf56
# Parent  cde4a01e9fa8144e9882f2c7feb1c4426469c465
fix: add missing update of map and timeplot widget at refineText

diff -r cde4a01e9fa8 -r 0a3dca94458c src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java
--- a/src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java	Mon Dec 10 17:02:59 2012 +0100
+++ b/src/econnect/wp3_3/client/widgets/table/DynamicStiTable.java	Mon Dec 10 17:17:10 2012 +0100
@@ -502,6 +502,7 @@
 		}
 		
 		updateView(false);
+		core.updateTimeAndMap();
 	}
 	
     /**