static IntRange textComponentSelection(JTextComponent c) {
  ret IntRange(c.getSelectionStart(), c.getSelectionEnd());
}