[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#20677: tooltips generate garbage
From: |
Eli Zaretskii |
Subject: |
bug#20677: tooltips generate garbage |
Date: |
Thu, 04 Jun 2015 18:37:51 +0300 |
> Date: Thu, 04 Jun 2015 14:25:28 +0900
> From: YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
> Cc: Michael Heerdegen <michael_heerdegen@web.de>,
> 20677@debbugs.gnu.org,
> angelo.graziosi@alice.it, "Jan D." <jan.h.d@swipnet.se>
>
> >> Yes, both patches fix the problem for me. Like before, I tested
> >> with the tooltips in a dired buffer.
>
> > Thanks.
>
> > So which one of them is better, and should be pushed?
>
> Thanks for testing. The second one is closer to the code before the
> cairo merge, but the first would be better if it works.
I agree that the first patch looks better, as x_clear_area1 sounds
like a helper function. So I suggest that we push that in a couple of
days.
Thanks.
- bug#20677: tooltips generate garbage, (continued)
- bug#20677: tooltips generate garbage, Eli Zaretskii, 2015/06/02
- bug#20677: tooltips generate garbage, Michael Heerdegen, 2015/06/02
- bug#20677: tooltips generate garbage, Eli Zaretskii, 2015/06/02
- bug#20677: tooltips generate garbage, YAMAMOTO Mitsuharu, 2015/06/03
- bug#20677: tooltips generate garbage, Angelo Graziosi, 2015/06/03
- bug#20677: tooltips generate garbage, Michael Heerdegen, 2015/06/03
- bug#20677: tooltips generate garbage, Eli Zaretskii, 2015/06/03
- bug#20677: tooltips generate garbage, Michael Heerdegen, 2015/06/03
- bug#20677: tooltips generate garbage, Eli Zaretskii, 2015/06/03
- bug#20677: tooltips generate garbage, YAMAMOTO Mitsuharu, 2015/06/04
- bug#20677: tooltips generate garbage,
Eli Zaretskii <=
- bug#20677: tooltips generate garbage, YAMAMOTO Mitsuharu, 2015/06/04
- bug#20677: tooltips generate garbage, Eli Zaretskii, 2015/06/05
- bug#20677: tooltips generate garbage, Michael Heerdegen, 2015/06/02
- bug#20677: tooltips generate garbage, Wolfgang Jenkner, 2015/06/02
- bug#20677: tooltips generate garbage, Eli Zaretskii, 2015/06/02
- bug#20677: tooltips generate garbage, Michael Heerdegen, 2015/06/02
- bug#20677: tooltips generate garbage, Angelo Graziosi, 2015/06/02
- bug#20677: tooltips generate garbage, Eli Zaretskii, 2015/06/02
- bug#20677: tooltips generate garbage, Wolfgang Jenkner, 2015/06/01
- bug#20677: tooltips generate garbage, Angelo Graziosi, 2015/06/02