Options

In the AMT Developer Studio it is possible to set a number of Options for the Developer and Code Editor by pressing the F10 key. There will be two tabs, Personal Options which will set the options for every individual user of the Developer Studio and Global options which sets options for all users.