|
From: Jonathan T. <jt...@as...> - 2013-04-07 23:14:20
|
On Sun, 7 Apr 2013, Ethan Merritt wrote:
> Or maybe hardly anyone is using x11 anymore. I know I strongly prefer
> either wxt or qt to the x11 terminal. I'm not saying we shouldn't fix
> this if possible, but the reality is that I view the x11 terminal as having
> been superseded by newer, more capable terminal options. There
> are many things that it just doesn't handle very well (font scaling,
> non-ascii encodings, transparency, anti-aliasing, ...).
I very much hope we retain full support for the x11 terminal. x11 is
(and remains) my strongly-preferred interactive terminal for two key
reasons:
* x11 builds easily & cleanly even if 3rd-party libraries are broken
or live in odd places
* x11 respects X resource specifications in ~/.Xdefaults
(e.g. I have the line "gnuplot*reverseVideo: on" there, so x11 comes
up with a black background. wxt ignores that and comes up with a white
background which I find ugly. I don't know what qt does.)
ciao,
--
-- Jonathan Thornburg <jt...@as...>
Dept of Astronomy & IUCSS, Indiana University, Bloomington, Indiana, USA
on sabbatical on Thetis Island, BC, Canada starting August 2012
"Washing one's hands of the conflict between the powerful and the
powerless means to side with the powerful, not to be neutral."
-- quote by Freire / poster by Oxfam
|