gEDA-user: PCB GUI bug?

[John Coppens <john@xxxxxxxxxxxx>]

Hi all

Anyone notice that on exiting PCB, the windowmanager is left is some
strange state, where you cannot change desktops with keyboard
combinations?

I'm using the XFCE window manager, which permits - like most wms, I
suspect - to switch desktops with Ctrl-Alt-Left & Right. Until now, the
only program that leaves this command disabled is PCB. After clicking on
another desktop in the program bar, functionality is restored.

Though not really a showstopper, it is somewhat of a nuisance.

John