comparison src/main/java/de/mpiwg/gazetteer/utils/FileManager.java @ 51:cf747a960516

new: auto scroll to the last position when de/selecting rows, and add number of selected rows info, in full text search page
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Fri, 29 Jan 2016 11:54:32 +0100
parents 7c2e1b14b77d
children a00efd5d9e77
comparison
equal deleted inserted replaced
50:8f6c47775fe8 51:cf747a960516
133 "</head>"; 133 "</head>";
134 134
135 text += header; 135 text += header;
136 text += "<body>" 136 text += "<body>"
137 + "<div class='subTitel'>Table name: " + file.getFileName() + "<div>" 137 + "<div class='subTitel'>Table name: " + file.getFileName() + "<div>"
138 + "<div class='label'>" + list.size() + " result(s) in the table.</dvi>" 138 + "<div class='label'>" + list.size() + " row(s) in the table.</dvi>"
139 + "<div class='label'>searching by keywords: " + '"' + "<span id='searchTerm'>" + file.getSearchTerms() + "</span>" + '"' + "</div>" 139 + "<div class='label'>searching by keywords: " + '"' + "<span id='searchTerm'>" + file.getSearchTerms() + "</span>" + '"' + "</div>"
140 + "<div class='label'><a href='" + getLGMapUrl(file) + "' target='_blank'>view on LGMap</a><div>" 140 + "<div class='label'><a href='" + getLGMapUrl(file) + "' target='_blank'>view on LGMap</a><div>"
141 + "<br>" 141 + "<br>"
142 + "<table class='pageTable'>" 142 + "<table class='pageTable'>"
143 + "<tr>" 143 + "<tr>"