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 [2016/10/19 15:52] – [Misc (since 0.8.0)] f2404 | ||
|---|---|---|---|
| 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. | ||