Deciding on a text editor to use for coding