Resolved: OS/X Hide feature not working for Electrum 2.5.2

[idea2go]

With Electrum 2.5.2 and OS/X 10.11.1, selecting Hide Electrum does not hide the window, but instead puts it in the (visible) background and moves me along to the next app in my rotation.

I had this problem several times in a row before posting, including after rebooting my computer.  As soon as I posted, I now can not duplicate the problem.    So it's at best a rare minor glitch.