diff options
author | Dani Megert | 2004-01-16 09:15:22 +0000 |
---|---|---|
committer | Dani Megert | 2004-01-16 09:15:22 +0000 |
commit | e1c81a12a262df8ccc041e75f541d999a2ea60cf (patch) | |
tree | ab77b62456d6e024f47ee40ca72f84aa037d031f /org.eclipse.jface.text/.options | |
parent | 23a46275f6d86bc8bb6225d2b8027d429bc94f27 (diff) | |
download | eclipse.platform.text-e1c81a12a262df8ccc041e75f541d999a2ea60cf.tar.gz eclipse.platform.text-e1c81a12a262df8ccc041e75f541d999a2ea60cf.tar.xz eclipse.platform.text-e1c81a12a262df8ccc041e75f541d999a2ea60cf.zip |
Added DEBUG option for AnnotationPainter
Diffstat (limited to 'org.eclipse.jface.text/.options')
-rw-r--r-- | org.eclipse.jface.text/.options | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/org.eclipse.jface.text/.options b/org.eclipse.jface.text/.options new file mode 100644 index 000000000..3a90b9c31 --- /dev/null +++ b/org.eclipse.jface.text/.options @@ -0,0 +1,4 @@ +# Debugging options for the org.eclipse.jface.text plug-in + +# Prints debug information related to AnnotationPainter +org.eclipse.jface.text/debug/AnnotationPainter= true |