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 [2019/11/28 11:24] – [Colors] kevinbowen | apps:terminal:preferences [2019/11/28 11:25] – [Appearance] kevinbowen | ||
---|---|---|---|
Line 51: | Line 51: | ||
</ | </ | ||
+ | [[|Back to Top]] | ||
+ | ---- | ||
===== Font ===== | ===== Font ===== | ||
Click on the button to select the font type and font size you want to use for the terminal. | Click on the button to select the font type and font size you want to use for the terminal. | ||
Line 84: | Line 86: | ||
To disable this feature, set the time to 0. | To disable this feature, set the time to 0. | ||
+ | |||
+ | [[|Back to Top]] | ||
+ | ---- | ||
====== Colors ====== | ====== Colors ====== | ||