svoid caretToHome(JTextComponent c) {
  setCaret(c, 0);
}