How long to wait, after the user stops editing codeArea, before recomputing the highlighting; see activate.