On Fri, Aug 02, 2013 at 06:44:36PM +0200, John Darrington wrote: > There have been a number of requests for a "preferences" dialog to set these > kind of things on a per-user basis. Perhaps we should do that.
That's a good idea, I agree. _______________________________________________ pspp-dev mailing list pspp-dev@gnu.org https://lists.gnu.org/mailman/listinfo/pspp-dev
