Re: [dev] terminal that accepts any size

From: hiro <23hiro_AT_googlemail.com>
Date: Sat, 20 Mar 2010 23:02:52 +0100

I like posting in general, yeah.

On 3/20/10, Antoni Grzymala <antoni_AT_chopin.edu.pl> wrote:
> Alexander Surma dixit (2010-03-20, 18:48):
>
>> On Sat, Mar 20, 2010 at 6:34 PM, Jonas Bernoulli <jonas_AT_bernoulli.cc>
>> wrote:
>> > On Sat, Mar 20, 2010 at 18:04, Alexander Surma
>> > <alexander.surma_AT_googlemail.com> wrote:
>> >> Well, resizehints are exactly that, hints. Not an obligation.
>> >> It's usually the job of the window manager to respect (or not to
>> >> respect) those hints - it's not
>> >> something that has to be changed in the implementation of the terminal
>> >> emulator.
>> >
>> > Let me rephrase: Does anyone know of a terminal that instead of
>> > setting resize hints
>> > (that would cause wmii to draw thicker boarders around the window [1])
>> > does not set
>> > any resize hints but instead adds some extra space (in the background
>> > color) on the
>> > right and/or lower sides (or equally on all) (which does not have any
>> > (truncated) text
>> > on it) if the window size set by the window manager does set the
>> > window to a size
>> > which match a multitude of the font being used?
>> >
>> > [1] and which is worse often draws a thinner boarder, like in "of size
>> > 0px".
>
>> I can't speak for wmii, but if you make dwm ignore resizehints xterm
>> behaves exactly like that.
>> If you insist on keeping resizehints enabled, I don't believe you'll
>> find a terminal which works like that out of the box.
>
> The terminal provides the hints, it's up to the wm, to make use from
> them or not. *xterm and *rxvt will behave the way you want if you
> disable obeying resizehints in your window manager. Whether it's tunable
> in wmii, I don't know. So there's nothing to rephrase.
>
> On a side note, don't we just love mixing topposting and bottomposting?
>
> --
> [a]
>
>
Received on Sat Mar 20 2010 - 22:02:52 UTC

This archive was generated by hypermail 2.2.0 : Sat Mar 20 2010 - 22:12:02 UTC