User Manual

Preferences Chapter 3. Concepts
Text Editors Preference Page
The behavior and appearance of the text editor can be set from the Text Editors Preference Page.
Figure 3.124: Text Editors Preference Page
Text Editor Options
Option Default
Description
UG001 Rev. 5.0 - 5th December 2012 http://www.achronix.com 222