org.eclipse.core.tools.resources/.options

Parent Directory Parent Directory | Revision Log Revision Log

Revision 1.1 - (download) (annotate)
Mon Jun 21 21:33:13 2004 UTC (5 years, 5 months ago) by dj
Branch: MAIN
CVS Tags: v20050225, v20040621, v20050221_pre_copyright_fix, v20040706, v20041013, v20041012, v20040706b, HEAD 
Refactor tools into runtime/resources split.

#### Resources settings
# enable Resourced debugging
org.eclipse.core.resources/debug=true

# Monitor builders and gather time statistics etc.
org.eclipse.core.resources/monitor/builders=true

# Monitor resource change listeners and gather time statistics etc.
org.eclipse.core.resources/monitor/listeners=true