Re: [dev] terminal that accepts any size

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]