User Interface
Go Up to Tools Options Dialog Box
Tools > Options > User Interface
Specifies the IDE User Interface configuration preferences.
Contents
Title Bar
| Item | Description | 
|---|---|
| Style | Switch between 'IDE Style' or 'System' to match your current system's UI style . | 
IDE Font
| Item | Description | 
|---|---|
| Customize IDE Font | Enable editing for IDE font options | 
| Name | Set the IDE font. | 
| Size | Set the IDE font size. | 
| Sample | Preview your changes. | 
Note:
Changes to the IDE font will only take effect when the IDE is restarted.
Changes to the IDE font will only take effect when the IDE is restarted.
Docking
| Item | Description | 
|---|---|
| Auto drag docking | For undocked windows, allows you to dock tool windows by dragging the outline of one window over another window. If this option selected, pressing the CTRL key while dragging a window disables the function. If this option is not selected, pressing the CTRL key enables it. |