label.paste_your_alignment_file = Paste your alignment file here
label.paste_your = Paste your
label.finished_searching = Finished searching
+label.subsequence_matches_found = {0} subsequence matches found
label.search_results= Search results {0} : {1}
label.found_match_for = Found match for {0}
label.font = Font:
label.no_value = Sin valor
label.colour_by_label = Color por etiquetas
label.new_feature = Nueva función
-label.match_case = Hacer corresponder mayúsculas y minúsculas
+label.match_case = Distinguir A/a etc.
label.view_alignment_editor = Ver en el editor de alineamientos
label.labels = Etiquetas
label.output_values = Valores de salida...
label.paste_your_alignment_file = Pegar su fichero de alineamiento aquí
label.paste_your = Pegar su
label.finished_searching = Búsqueda finalizada
+label.subsequence_matches_found = {0} resultados encontrados en subsequencias
label.search_results= Buscar Resultados {0} : {1}
label.found_match_for = Buscar coincidencia para {0}
label.font = Fuente:
getFocusedViewport();
}
});
-
+
addEscapeHandler();
String title = MessageManager.getString("label.find");
if (doFindAll)
{
// then we report the matches that were found
- String message = (idMatch.size() > 0) ? "" + idMatch.size() + " IDs"
- : "";
+ StringBuilder message = new StringBuilder();
+ if (idMatch.size() > 0)
+ {
+ message.append(idMatch.size()).append(" IDs");
+ }
if (searchResults != null)
{
if (idMatch.size() > 0 && searchResults.getCount() > 0)
{
- message += " and ";
+ message.append(" ").append(
+ MessageManager.getString("label.and").toLowerCase())
+ .append(" ");
}
- message += searchResults.getCount()
- + " subsequence matches found.";
+ message.append(MessageManager.formatMessage(
+ "label.subsequence_matches_found", searchResults.getCount()));
}
- JvOptionPane.showInternalMessageDialog(this, message, null,
- JvOptionPane.INFORMATION_MESSAGE);
+ JvOptionPane.showInternalMessageDialog(this, message.toString(),
+ null, JvOptionPane.INFORMATION_MESSAGE);
}
}
searchBox.updateCache();