ovviamente ultraedit
lo so è a pagamento ma sono 35$ davvero ben spesi (neppure troppi visto quello che fa)