Re: [dev] [st] [PATCH] Sub-char-size window-size increments
> >> 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
Received on Mon Nov 03 2014 - 14:37:24 CET
This archive was generated by hypermail 2.3.0
: Mon Nov 03 2014 - 14:48:07 CET