[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Redisplay problems?
From: |
martin rudalics |
Subject: |
Re: Redisplay problems? |
Date: |
Thu, 20 Mar 2014 10:52:16 +0100 |
> I don't yet understand what's the root cause of the problem, but I get
> the impression that the above is a workaround rather than a fix.
Probably. It just mimics what the w32 build does in this case.
And we'd still have to know whether it solves the OP's problem.
Glenn: Can we mix this with
Bug#16684: Sometimes a frame is not drawn properly
The symptoms are the same and we could get the present thread a
bug number.
martin
- Re: Redisplay problems?, (continued)
- Re: Redisplay problems?, Christian Lynbech, 2014/03/18
- Re: Redisplay problems?, Eli Zaretskii, 2014/03/18
- Re: Redisplay problems?, Óscar Fuentes, 2014/03/18
- Re: Redisplay problems?, 陳侃如, 2014/03/18
- Re: Redisplay problems?, Stefan, 2014/03/20
- Re: Redisplay problems?, Óscar Fuentes, 2014/03/20
- Re: Redisplay problems?, James Cloos, 2014/03/18
- Re: Redisplay problems?, martin rudalics, 2014/03/19
- Re: Redisplay problems?, Óscar Fuentes, 2014/03/19
- Re: Redisplay problems?, Stefan, 2014/03/19
- Re: Redisplay problems?,
martin rudalics <=
- Re: Redisplay problems?, Glenn Morris, 2014/03/20
- Re: Redisplay problems?, martin rudalics, 2014/03/20
- Re: Redisplay problems?, Stefan, 2014/03/20
- Re: Redisplay problems?, martin rudalics, 2014/03/20
- Re: Redisplay problems?, Stefan, 2014/03/20
- Re: Redisplay problems?, Stefan, 2014/03/20
- Re: Redisplay problems?, Eli Zaretskii, 2014/03/20
- Re: Redisplay problems?, Stefan, 2014/03/20
- Re: Redisplay problems?, Eli Zaretskii, 2014/03/20
- Re: Redisplay problems?, Eli Zaretskii, 2014/03/20