> >> resizehints = False;

Yeah, I used that for a bit, but then st has a doubly-thick border in
the bottom and right edges, as opposed to centering content within its
window. Totally cosmetic and kind of OCD, but it bothers me! =)

Turning off resizehints also causes weird rendering bugs with mplayer,
but that may just be my weird old system.

I guess I don't really understand why terminal emulators prefer
resizing to multiples of charsizes nowadays. To me, px-res sizes and
gaps inside the terminal seems better than char-res sizes and gaps
outside, since it gives the WM/user more options by default (i.e., you
can always set the pxsize to a multiple of charsize).

Anyway, thanks again for the awesome software!
Augusto

Reply via email to