for Windows and Linux
for OS X
Use this dialog to specify settings for the embedded local terminal.
Before you start working with terminal, make sure that the Terminal plugin is enabled.
The plugin is bundled with AppCode and is activated by default. If the plugin is not activated,
enable it on the Plugins page of the AppCode Preferences as described in Enabling and Disabling Plugins.
|Shell path||Specify the shell that will run by default. |
|Tab name||Specify the default name of a new session tab. Note that a session tab can be renamed.|
|Close session when it ends||If this check box is selected, the current session ends automatically, when the corresponding
process ends (for example, by kill ).|
|Audible bell||If this check box is selected, the console plays the bell sound on incoming escape sequence.|
|Mouse reporting||If this check box is selected, the embedded local terminal supports mouse pointer.|
|Copy to clipboard on selection||If this check box is selected, the text selected in the Terminal, is automatically passed to the system clipboard.|
|Paste on middle mouse button click||If this check box is selected, you can paste the clipboard contents by clicking the middle mouse button.|
|Override IDE shortcuts||If this check box is selected (this is the default setting), the Terminal tool window handles keyboard shortcuts differently from AppCode.|
If this check box is cleared, the AppCode key bindings are used.
Last modified: 6 December 2016