From: Jon <dev...@gm...> - 2015-04-16 16:19:45
|
Dear All users, I have been frustrated by this issue for a long time. For the png terminal I checked on my local linux environment always gives the same font size no matter what size I request. Any idea on how to fix it? If further information or sample script is needed, please let me know. Thanks, Sincerely, Jon |