[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: |
Tue, 11 Dec 2012 10:10:32 +0200 |
> Date: Tue, 11 Dec 2012 09:07:03 +0100
> From: Giorgos Keramidas <address@hidden>
> CC: James Cloos <address@hidden>, address@hidden, address@hidden,
> address@hidden
>
> > Can you show a screenshot of this? Also, what would be a good
> > solution to this problem? make the right fringe wider? something
> > else?
>
> FWIW, tiled windows may be slightly larger pixel-wise in at least two
> directions: right *and* bottom. So it may be useful to apply the same
> solution to both the right fringe and the mode-line.
As I explained in this thread, it cannot be the same solution, because
there's no fringe at the bottom.
- 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, 2012/12/07
- 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 <=
- Re: size hints and tiling window managers, Jan Djärv, 2012/12/08