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:50] – [Misc (since 0.8.0)] 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 168: | Line 168: | ||
! Select this option to enable closing terminal tabs with middle mouse click. | ! Select this option to enable closing terminal tabs with middle mouse click. | ||
? Auto-hide mouse pointer | ? Auto-hide mouse pointer | ||
+ | ! Select this option to hide mouse pointer when typing in the terminal. | ||
? Rewrap terminal contents on resize | ? 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. | ||