svoid focusAndSelectAll(final JTextComponent tf) {
  focus(tf);
  print("Selecting all");
  selectAll(tf);
}