[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: |
Wed, 03 Jun 2015 22:14:45 +0300 |
> From: Michael Heerdegen <michael_heerdegen@web.de>
> Cc: 20677@debbugs.gnu.org, angelo.graziosi@alice.it
> Date: Wed, 03 Jun 2015 19:02:55 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > And the patches proposed by Yamamoto-san, do they fix the problem for
> > you as well?
>
> 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?
- bug#20677: tooltips generate garbage, (continued)
- bug#20677: tooltips generate garbage, Michael Heerdegen, 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, 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 <=
- bug#20677: tooltips generate garbage, YAMAMOTO Mitsuharu, 2015/06/04
- bug#20677: tooltips generate garbage, Eli Zaretskii, 2015/06/04
- 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