2007/9/21, Diego Ongaro <ongardie at gmail.com>: > Yes, I can develop a patch for this. I also have some other ideas to > help with the auto-hide behavior that I can propose. (It'd be nice to > have commit access and make a branch for this.) A new panel branch for something simple like this? Naaa that's useless. Nick