scala-ide/scala-ide — pull request #134 by dotta (2012-06-28 14:49:45+00:00)
Title: Warn the user if JDT Weaving is OFF

At startup, check that JDT Weaving is enabled. If it's not, then
warn the user through a dialog box and programmatically
enable JDT Weaving (and restart the workbench) upon confirmation.

Note that there is no way for the user to silent the dialog. Each time the
Scala IDE plugin is activated the check will be performed, and if JDT
Weaving is OFF the above mentioned message will be displayed. If the
user doesn't want to see the dialog, it will have three options:

* Enable JDT Weaving
* Disable the Scala IDE core bundle (using the OSGi console)
* Uninstall the Scala IDE plugin

Note: I would like to merge this also in release/2.0.x