| # Debugging options for the org.eclipse.core.resources plugin. |
| |
| # Turn on debugging for the org.eclipse.core.resources plugin. |
| # Also displays snapshot (incremental save) times. |
| org.eclipse.core.resources/debug=false |
| |
| # Monitor builders and gather time statistics etc. |
| org.eclipse.core.resources/monitor/builders=false |
| |
| # Monitor resource change listeners and gather time statistics etc. |
| org.eclipse.core.resources/monitor/listeners=false |
| |
| # Debug build failure cases such as failure to retrieve deltas. |
| org.eclipse.core.resources/build/failure=false |
| |
| # Reports the start and end of all builder invocations |
| org.eclipse.core.resources/build/invoking=false |
| |
| # Reports the start and end of build delta calculations |
| org.eclipse.core.resources/build/delta=false |
| |
| # For incremental builds, displays which builder is being run |
| # and because of changes in which project. |
| org.eclipse.core.resources/build/needbuild=false |
| |
| # Reports configuration and deconfiguration of project natures |
| org.eclipse.core.resources/natures=false |
| |
| # Report history store debugging. |
| org.eclipse.core.resources/history=false |
