Thanks evl!
I could not reproduce the problem with maximizing some other window and docked windows getting minimized..
when testing, I ran into something else: I have opera docked on right side and if I minimize it, I can't restore it. And the popup right-click menu acts strangely. I can maximize it, though (most of times). IOW, if you accidentally minimize it, you have to undock and re-dock it. And even that does not let me restore it.. It looks like by minimizing it, it somehow garbled it's 'restored' coordinates to be outside of screen. It looks like it gets restored, but no part of it is visible on screen.. Let me try this with xplorer2x.. Hm, interesting.. when xplorer2x was on top of maximized opera, and I clicked minimize, it'd minimize, and then restore itself in about a second without me doing anything. When I minimized Opera, it did minimize itself properly, and when I clicked on it in taskbar, it'd restore itself without any problem. I can't make much sense out of this.
Incidentally, moving docked window is reset after dock/restore. Which isn't the end of the world, but it'd be even cleaner if it was possible to move and resize it - I guess code that takes care of one thing will take care of another, too.
re - alternative shortcuts. I think it'd be nice to have an option for alt-leftclick to open menu, and F4 to call up menu is also kind of neat, because you don't have to hold down any key while you're looking for the right window.. But I can imagine that it's more trouble than it's worth to change code to do that. Honestly, I'm not even sure I'd use that if it was possible.
At any rate, this script is very neat.. I'll be patiently awaiting new version
