I tinkered with "Preferences/Applications". Did not do anything about a special kind of Preference. If this message gets posted, the thing worked :)
If so, thanks! -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20150212180148.6a2be...@toshiba2012.hsd1.il.comcast.net
