Fied getRegionName for diffs and added grouping by regions for search

This commit is contained in:
PaulStets 2017-09-13 13:54:00 +03:00
parent ff79bb518a
commit fa05356c81

View file

@ -403,7 +403,7 @@ public class BinaryMapIndexReader {
if (rg.size() == 0) { if (rg.size() == 0) {
rg.add(file.getName()); rg.add(file.getName());
} }
String ls = new String(rg.get(0)); String ls = rg.get(0);
if (ls.lastIndexOf('_') != -1) { if (ls.lastIndexOf('_') != -1) {
return ls.substring(0, ls.lastIndexOf('_')).replace('_', ' ').replaceAll("[0-9]+", "").trim(); return ls.substring(0, ls.lastIndexOf('_')).replace('_', ' ').replaceAll("[0-9]+", "").trim();
} }