better javascript editing plugins