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