Fix #1083. The checkbox is disabled while the crawl is running.
Merge pull request #1090 from emmanuel-keller/1.5

Fix #1083. The checkbox is disabled while the crawl is running.