Home

Contribute

Source code


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# 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