# Debugging options for the org.eclipse.ui.ide plugin.

# Turn on debugging for the org.eclipse.ui plugin.
org.eclipse.ui.ide/debug=false

# Show a dialog with details button when an internal error occur.
org.eclipse.ui.ide/debug/internalerror/openDialog=false

# Verbose information when IDE performs explicit garbage collection
org.eclipse.ui.ide/debug/gc=false

# Print debug information when workspace undo monitor purges the undo history
org.eclipse.ui.ide/debug/undomonitor=false

# Print debug information for core exceptions when accessing markers
org.eclipse.ui.ide/debug/markers=false
