9.4. Choosing editor preferences

This section describes the preference panels that control editor features. The Editor panels are described in:

Copyright © 1999-2001, 2005-2007 ARM Limited. All rights reserved.ARM DUI 0065G
Non-Confidential