add user configurable timeout for lint_on_edit