# Debugging options for the org.eclipse.gmf.map.editor plug-in | |
# Turn on general debugging for the org.eclipse.gmf.map.editor plug-in | |
org.eclipse.gmf.map.editor/debug=false | |
# Turn on debugging of visualID processing | |
org.eclipse.gmf.map.editor/debug/visualID=true |