| # Debugging options for org.eclipse.jpt.ui plug-in | |
| # Turn on debugging for the org.eclipse.jpt.ui plugin. | |
| org.eclipse.jpt.ui/debug=false | |
| # Turn on debugging for unit-tests | |
| org.eclipse.jpt.ui/debug/unit-tests=false | |
| # Turn on debugging for events occurring in the UI panes | |
| org.eclipse.jpt.ui/debug/ui/layout=false | |
| org.eclipse.jpt.ui/debug/ui/detailsView=false | |
| # Turn on debugging for events coming from ConnectionProfile | |
| org.eclipse.jpt.ui/debug/ui/db=false |