fix JavaScript editor