[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: size hints and tiling window managers
From: |
Eli Zaretskii |
Subject: |
Re: size hints and tiling window managers |
Date: |
Fri, 07 Dec 2012 12:45:27 +0200 |
> Date: Fri, 07 Dec 2012 11:35:36 +0100
> From: martin rudalics <address@hidden>
> Cc: address@hidden
>
> > 2. However I think it would be better if Emacs would just use any window
> > size without having to paint some extra space to the right and below
> > of the "actual" content. One way of doing that could be to
> > dynamically adjust the width of the fringes (and the height of the
> > minibuffer/echo area).
> >
> > I understand that implementing the latter probably isn't easy to do, so
> > I am already happy if someone could separate the default and "extra
> > space" backgrounds as suggested first.
>
> Eli said that he can provide arbitrary frame pixel sizes at any time.
Yes, but before that has any chance of happening, Someone™ should step
forward to help maintaining the Windows build, because lately that
eats up almost all of my free time, leaving just barely enough for
fixing redisplay related bugs. I have no time left for developing
significant new display features. As just one example, I wrote code
to support drop-down menus on TTYs, which eats dust on a local branch
awaiting testing since June(!), because I have no time to spend on it.
- size hints and tiling window managers, Jonas Bernoulli, 2012/12/06
- Re: size hints and tiling window managers, martin rudalics, 2012/12/07
- Re: size hints and tiling window managers,
Eli Zaretskii <=
- Re: size hints and tiling window managers, James Cloos, 2012/12/07
- Re: size hints and tiling window managers, Eli Zaretskii, 2012/12/08
- Re: size hints and tiling window managers, Jonas Bernoulli, 2012/12/09
- Re: size hints and tiling window managers, Eli Zaretskii, 2012/12/09
- Re: size hints and tiling window managers, Jonas Bernoulli, 2012/12/15
- Re: size hints and tiling window managers, Eli Zaretskii, 2012/12/15
- Re: size hints and tiling window managers, Giorgos Keramidas, 2012/12/11
- Re: size hints and tiling window managers, Eli Zaretskii, 2012/12/11
- Re: size hints and tiling window managers, Jan Djärv, 2012/12/08