| # Debugging options for the org.eclipse.ocl.xtext.base.ui plug-in |
| |
| # Turn on tracing of validation builder activation |
| org.eclipse.ocl.xtext.base.ui/builder=false |
| |
| # Turn on tracing of the deferred editor job |
| # @deprecated - deferred editor job no longer used |
| org.eclipse.ocl.xtext.base.ui/editor/deferred=false |
| |
| # Turn on tracing of outline node creation |
| org.eclipse.ocl.xtext.base.ui/outline/create=false |
| |
| # Turn on tracing of outline node location |
| org.eclipse.ocl.xtext.base.ui/outline/locate=false |
| |
| # Turn on tracing of validator progress |
| org.eclipse.ocl.xtext.base.ui/validator=false |
| |
