Ok, after some research I think I just fount the best (ehm, the most round?) HTML/Web developing editor around. Of course that if we discard WYSIWYG editors, which I personally abhor. Thank you for your help.
This is, however, the result of my research (I thought you might be interested on my...