| # 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 |