| # Debugging options for the org.eclipse.core.resources plugin. |
| |
| # Turn on debugging for the org.eclipse.core.resources plugin. |
| 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 |
| |
| # Report timings for restoring the workspace state |
| org.eclipse.core.resources/restore=false |
| org.eclipse.core.resources/restore/markers=false |
| org.eclipse.core.resources/restore/syncinfo=false |
| org.eclipse.core.resources/restore/tree=false |
| org.eclipse.core.resources/restore/metainfo=false |
| org.eclipse.core.resources/restore/snapshots=false |
| org.eclipse.core.resources/restore/mastertable=false |
| |
| # Report timings for saving and snapshots on the workspace state |
| org.eclipse.core.resources/save=false |
| org.eclipse.core.resources/save/markers=false |
| org.eclipse.core.resources/save/syncinfo=false |
| org.eclipse.core.resources/save/tree=false |
| org.eclipse.core.resources/save/metainfo=false |
| org.eclipse.core.resources/save/snapshots=false |
| org.eclipse.core.resources/save/mastertable=false |
| |