Options
In the AMT Developer Studio, you can configure various options for the developer and code editor by pressing F10. This opens an Options window with two tabs: Personal Options, which sets options for individual users of the Developer Studio, and Global Options, which sets options for all users.
