Sign in
eclipse
/
platform
/
eclipse.platform.ui
/
refs/tags/I20200402-1800
/
.
/
bundles
/
org.eclipse.ui.monitoring
/
.options
blob: 7f703c4e9a9998e4972fafc1b731aedc63d9978e [
file
] [
log
] [
blame
]
# Debugging options for the org.eclipse.ui.monitoring plugin
# Turn on general debugging for the org.eclipse.ui.monitoring plugin.
org
.
eclipse
.
ui
.
monitoring
/
debug
/
event_monitor
=
false