scala-ide/scala-ide — pull request #204 by dragos (2012-10-05 15:14:19+00:00)
Title: Added a Scala auto-edit strategy for scaladoc.

This is motivated by the lags introduced by the Java auto-edit (see #1001263),
who was triggering reconciliation.

Fixed #1001263.