How can I do vertical selections in jedit?