Options

In the AMT Developer Studio, you can configure various options for the developer and code editor by pressing the F10 key. 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.