D. A. H. <dh...@freedommail.co> wrote: > I've noticed this behavior in GNOME 3.10 instances ither than Debian, in > which I have manually killed the speech-dispatcher process belonging to the > user, gdm. Maybe the latest gdm offers options for pre-session and > post-login type scripts that can handle this clean-up? Maybe a script can > be run at pre-login, when user logs out or switches user?
It used to work without any manual intervention, and I understand it still does in some distributions, so it might be useful to find out how they handle the situation. -- To UNSUBSCRIBE, email to debian-accessibility-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140320224357.gb8...@jdc.jasonjgw.net