Thanks. In the mean time, I've started using the alt-tab tool. This makes my Mac OS experience more closely match my Linux experience, which I also find importa

Thanks. In the mean time, I've started using the alt-tab tool. This makes my Mac OS experience more closely match my Linux experience, which I also find important now that I'm using both machines with the same KVM devices, on a switch.