# HG changeset patch
# User Zoe Hong <zhong@mpiwg-berlin.mpg.de>
# Date 1454337641 -3600
# Node ID fc4ee9cc587be800541da8ff288ddeb523cad55f
# Parent  cf747a960516e8e6dc8bdca128765ed8966b319d
new: auto scroll to the last position when de/selecting rows, and add number of selected rows info, in full text search page

diff -r cf747a960516 -r fc4ee9cc587b src/main/webapp/pages/fullTextSearch.jsp
--- a/src/main/webapp/pages/fullTextSearch.jsp	Fri Jan 29 11:54:32 2016 +0100
+++ b/src/main/webapp/pages/fullTextSearch.jsp	Mon Feb 01 15:40:41 2016 +0100
@@ -99,7 +99,9 @@
 			//console.log("y: " + y + ", top: " + $("#content_"+id).offset().top + ", offsetInElement: " + offsetInElement);	
 			if (y == undefined) return;
 			
-			$('html,body').animate({scrollTop: $("#content_"+id).offset().top - y + offsetInElement}, 'fast');
+			//$('html,body').animate({scrollTop: $("#content_"+id).offset().top - y + offsetInElement}, 'fast');
+			$('html,body').scrollTop($("#content_"+id).offset().top - y + offsetInElement); 
+			
 		}
 		
 		function highlightKeywords()	// highlight keywords in content column, with class="content"
@@ -156,7 +158,7 @@
 						<input name="bean" type="hidden" value="fullTextSearchBean" /> 
 					<table>
 						<tr>
-							<td>Save the selected <%=sessionBean.getFullTextSearchPage().getSelectedNumOfContent() %> section(s) to table:
+							<td>
 								<input id="fileName" name="fileName" type="text" placeholder="table name"/>
 							</td>
 							<td>