On Mon, Jan 19, 2015 at 2:50 PM, Alexandre <ac586133@...> wrote:

> This actually doe not solve the issue for real. TDE is able to use Gnome's
> applets, but for an unknown reason, it doesn't always work in TDE. I have
> already seen this issue many times, but after a few minutes, the icon
> appeared as it should.

Well, it's been more than a week, so if it was going to revert to full
sized, it should have done so by now.

Curt-


-- 
The secret of happiness is freedom,
and the secret of freedom is courage.
- Thucydides