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 ).
If this check box is selected, the console plays the bell sound on incoming escape sequence.
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 MPS. If this check box is cleared, the MPS key bindings are used.
When this check box is selected, the terminal first loads a custom rc config file (located in the terminal folder under plugins of MPS distribution) which provides an additional set-up, and then the user's rc file.