Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
apps:terminal:preferences [2016/10/19 15:43] – [Scrolling] f2404 | apps:terminal:preferences [2019/08/18 12:03] – [General] kevinbowen | ||
---|---|---|---|
Line 5: | Line 5: | ||
<figure "Open Terminal Preferences"> | <figure "Open Terminal Preferences"> | ||
- | {{: | + | {{: |
</ | </ | ||
Line 11: | Line 11: | ||
<figure " | <figure " | ||
- | {{: | + | {{: |
</ | </ | ||
Line 128: | Line 128: | ||
! Use the drop-down list to select the function that you want the {key> | ! Use the drop-down list to select the function that you want the {key> | ||
? Emulation setting | ? Emulation setting | ||
+ | **(removed in 0.8.0)** | ||
! This specifies the terminal emulation. This does not only set the '' | ! This specifies the terminal emulation. This does not only set the '' | ||
! If you have an application that needs '' | ! If you have an application that needs '' | ||
Line 150: | Line 151: | ||
Choose the default encoding for the terminal. You can temporarily override this using the {gui> | Choose the default encoding for the terminal. You can temporarily override this using the {gui> | ||
- | ===== Menubar Access ===== | + | ===== Menubar Access |
? Disable all menu access keys | ? Disable all menu access keys | ||
Line 158: | Line 159: | ||
? Disable menu shortcut key (F10 by default) | ? Disable menu shortcut key (F10 by default) | ||
! Select this option to disable the shortcut key that is defined to enable you to access the Terminal menus. The default shortcut key to access the menus is {key> | ! Select this option to disable the shortcut key that is defined to enable you to access the Terminal menus. The default shortcut key to access the menus is {key> | ||
+ | ? Disable help window shortcut key (F1 by default) | ||
+ | **(since 0.8.0)** | ||
+ | ! Select this option to disable the shortcut key that is defined to open the help window. The default shortcut key for that is {key> | ||
+ | |||
+ | ===== Misc (since 0.8.0) ===== | ||
+ | |||
+ | ? Use middle mouse click to close tabs | ||
+ | ! Select this option to enable closing terminal tabs with middle mouse click. | ||
+ | ? Auto-hide mouse pointer | ||
+ | ! Select this option to hide mouse pointer when typing in the terminal. | ||
+ | ? Rewrap terminal contents on resize | ||
+ | ! Select this option to allow re-wrapping of the terminal contents when resizing the window. If disabled, the contents that does not fit into the window will become invisible. | ||