a terminal with variable font size...
john Sanabria
john.sanabria at gmail.com
Mon Oct 8 21:54:40 UTC 2012
Hi community,
As many others Linux users, I love to use CLI as interface to do my daily
tasks. I work with many terminals open at the same time but I think that a
better experience on terminal environment can be lived. Here is my inquiry,
It is possible that a terminal window changes its font size dynamically
according if focus is on it or not? e.g. on focus large font size but when
focus is lost a smaller font size is exhibited. How could I setup this
behavior?
Thanks a lot for your advice,
--
John Sanabria - Profesor de la EISC
Universidad del Valle
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ubuntu.com/archives/ubuntu-users/attachments/20121008/dea2fa4f/attachment.html>
More information about the ubuntu-users
mailing list