| # 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 |