On 7/20/06, Ronald G Minnich <[email protected]> wrote:
David Leimbach wrote:
> I did find one situation where hiding is useful... and that's when
> I've taken up all of my root rio's desktop space with this sidebar
> strip, and want to quickly hide winwatch itself.
um, so, what was this patch? I lost track.
ron
All it does is change winwatch behavior so that if you right click a
label for a window that's hidden, the window unhides. If the window is
not hidden, it hides it.
I'm starting to believe I don't need this functionality now... (though
if I'm opening up other "sub-rio's" it's convenient to be able to hide
windows as well as raise them with winwatch). I started feeling like
it wasn't so important once I saw:
/n/sources/patch/sorry/ww-hideunhide
This patch was a little better than mine in terms of error checking...
the differences are minor.
Russ commented that he didn't think it was necessary to have such
behavior in his notes and I think I'm starting to agree.
Dave
