<div dir="ltr"><pre>Thank you Josselin!

I have found a small issue with the patch itself that might affect others. 
In get_current_desktops(), if (desktops) should read if (!desktops).

Please see <a href="http://paste.debian.net/136484/">http://paste.debian.net/136484/</a> for short program demonstrating
the difference.

Jerad</pre></div>