Try the version in master now. I think this will fix the problem. J'
On Fri, Sep 06, 2013 at 06:59:56PM +0200, John Darrington wrote:
That doesn't suprise me.
Clearly we are not using the GtkIconSet API properly. The problem seems
only
to manifest itself on Windows but could also happen on other systems if
not
using the default themes.
I'm reading the documentation for Gtk and will try to fix the problem
within
a week or so.
J'
--
PGP Public key ID: 1024D/2DE827B3
fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3
See http://keys.gnupg.net or any PGP keyserver for public key.
signature.asc
Description: Digital signature
_______________________________________________ pspp-dev mailing list pspp-dev@gnu.org https://lists.gnu.org/mailman/listinfo/pspp-dev
