>There is/was?? a GUI editor called jEdit. Has anyone used this? I ask >because I seem to remember it being popular at one point. > I gave that a brief whirl the other week, but there was some problem or other that I found with it crashing... I shall try again at some point :)