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