On Thu, Jun 24, 1999 at 07:24:40PM +0200, Mario Weilguni wrote:

Hi,

> The animated menu stuff should now be ready for integration into the libraries.
> But, do we want to include it? I don't mean that I'll want to integrate it now,
> but if we come to the result that it won't be included I'll drop my efforts.

I thought even the Trolls were interested in this? Was there anyone at all
against having the option of animated menus?
I for one vote for including it. 

Cheers,
Carsten Pfeiffer
-- 
http://www.geocities.com/SiliconValley/1632/