Thanks, that was a good tip. It is indeed in the window menu, together with the per-cpu monitor, which I didn't know it existed either - and that being a Mac us

Thanks, that was a good tip. It is indeed in the window menu, together with the per-cpu monitor, which I didn't know it existed either - and that being a Mac user since 2003.