/*
* tidy inputs and check there is something to search for
*/
- String t0 = textArea.getText();
- String text = text.trim(); // BH 2019.01.30
+ String text = textArea.getText();
+ final String t0 = text;
if (replacePunctuation.isEnabled() && replacePunctuation.isSelected())
{
text = text.replace(",", ";");
}
- text = text.replaceAll("(\\s|[,; ])+", ";");
- if (!t0.equals(text)) // BH 2019.01.30 no need to do setting if it is the same
- textArea.setText(text);
+ text = text.replaceAll("(\\s|[; ])+", ";");
+ if (!t0.equals(text))
+ {
+ textArea.setText(text);
+ }
if (text.isEmpty())
{
// todo i18n
List<DbSourceProxy> sources = sfetch
.getSourceProxy((String) database.getSelectedItem());
Iterator<DbSourceProxy> proxies = sources.iterator();
- String[] qries;
- List<String> nextFetch = Arrays
- .asList(qries = textArea.getText().split(";"));
+ String[] qries = textArea.getText().trim().split(";");
+ List<String> nextFetch = Arrays.asList(qries);
Iterator<String> en = Arrays.asList(new String[0]).iterator();
int nqueries = qries.length;