15 lines
651 B
Plaintext
15 lines
651 B
Plaintext
# Debugging options for the org.eclipse.ui intro.
|
|
|
|
# Master flag for all org.eclipse.ui.intro plugin debug options.
|
|
org.eclipse.ui.intro/debug = true
|
|
|
|
# Enable the tracing in the plugin. By default, information messages in
|
|
# the plugin are not logged. Setting this option to true will enable logging
|
|
# trace information messages.
|
|
org.eclipse.ui.intro/trace/logInfo = true
|
|
|
|
# Enable printing the generated HTML to the console. By default, the HTML
|
|
# is not printed. By setting this option to true, the HTML for each
|
|
# dynamic page will be printed to the console when the page is loaded in the browser.
|
|
org.eclipse.ui.intro/trace/printHTML = false
|