Updated Ace Editor (with scroll focus fix)