Better shortcuts for text editors