# 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 debugging for project preferences.
org.eclipse.core.resources/preferences=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/mastertable=false

# Report debug of workspace auto-refresh
org.eclipse.core.resources/refresh=false
