Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
wish_list [2016/09/13 12:45] – [Productivity tools for XFCE] mmacd | wish_list [2016/09/13 12:46] – [Terminal] mmacd | ||
---|---|---|---|
Line 546: | Line 546: | ||
* Make it possible to use a different font in individual tabs and / or windows, without changing the general font setting. | * Make it possible to use a different font in individual tabs and / or windows, without changing the general font setting. | ||
* Ideally, implement customizable profiles, which have some settings different from the default. A user would (optionally) choose a profile when opening a new tab or a terminal window. This could be done for example by holding down the left button for a second, or right clicking, on the new tab button, or via the menus. See other terminal emulators to see how this has been done. This would be a more general solution and would allow users to use all kind of settings in their profiles, not just setting the font. | * Ideally, implement customizable profiles, which have some settings different from the default. A user would (optionally) choose a profile when opening a new tab or a terminal window. This could be done for example by holding down the left button for a second, or right clicking, on the new tab button, or via the menus. See other terminal emulators to see how this has been done. This would be a more general solution and would allow users to use all kind of settings in their profiles, not just setting the font. | ||
- | * Second the request for named per-terminal profiles | + | * Second the request for //named// per-terminal profiles. They could be implemented in 2 or 3 stages: (1) afford selection of foreground/ |
* Ctrl + and Ctrl - to increase/ | * Ctrl + and Ctrl - to increase/ | ||
* Make the amount that is scrolled in history via mouse wheel configurable | * Make the amount that is scrolled in history via mouse wheel configurable |