[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window
From: |
Eli Zaretskii |
Subject: |
bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window |
Date: |
Fri, 30 Mar 2012 11:57:17 +0300 |
> From: Stephen Berman <stephen.berman@gmx.net>
> Cc: "Jan D." <jan.h.d@swipnet.se>, cyd@gnu.org, 7464@debbugs.gnu.org
> Date: Fri, 30 Mar 2012 10:45:13 +0200
>
> On Fri, 30 Mar 2012 11:00:49 +0300 Eli Zaretskii <eliz@gnu.org> wrote:
>
> >> Date: Fri, 30 Mar 2012 09:43:52 +0200
> >> From: "Jan D." <jan.h.d@swipnet.se>
> >> CC: Stephen Berman <stephen.berman@gmx.net>, cyd@gnu.org,
> >> 7464@debbugs.gnu.org
> >>
> >> It probably has something to do with the fact that Gtk+ scrollbars
> >> aren't handeled by the display engine and we therefore have to force a
> >> redraw of the scroll bars at certain points so the scrollbars look ok.
> >> Presumably one of these redraws does something that triggers a redraw of
> >> mouse highlight? It might be that a redraw of the scroll bar generates
> >> some X expose/configuration event that in turn invokes the display
> >> engine. I'm just speculating.
> >
> > I think your speculation is exactly right. Perhaps Stephen or someone
> > else who has access to a GTK build could confirm that an extra
> > redraw of mouse highlight is triggered at some point in this scenario.
>
> Can you tell me what I have to type in gdb to do this?
Jan, could you please point out where in the sources we force the
redraw of the GTK scroll bars?
> > Anyway, I think it is not important (however interesting and exciting)
> > to determine the exact reason which causes the bug not to appear in
> > the GTK build. It suffices to say that any non-GTK build suffers from
> > this bug, and suffered in the past (Emacs 23 at least) as well. I
> > think this information, and the patch that cures the bug I posted
> > earlier, is enough for Chong and Stefan to make the decision whether
> > to install the change now or defer it until after v24.1.
>
> I think it should be installed now.
I don't disagree; the changes are very minor and cannot do any harm.
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, (continued)
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Eli Zaretskii, 2012/03/30
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Stephen Berman, 2012/03/30
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Eli Zaretskii, 2012/03/30
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Stephen Berman, 2012/03/30
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Eli Zaretskii, 2012/03/31
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Stephen Berman, 2012/03/31
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Eli Zaretskii, 2012/03/31
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Jan D., 2012/03/30
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Eli Zaretskii, 2012/03/30
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Stephen Berman, 2012/03/30
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window,
Eli Zaretskii <=
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Jan Djärv, 2012/03/30
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Stefan Monnier, 2012/03/30
- bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, martin rudalics, 2012/03/25
bug#7464: 24.0.50; mouse highlighting vanishes upon unsplitting window, Eli Zaretskii, 2012/03/21