On 12/24/2014 01:57 PM, Charlie Fenton wrote: > Hi Toralf, > > What version of wxWidgets are you building with? I cannot reproduce this > with Ubuntu using wxWidgets 3.0.0. > > Cheers, > --Charlie
It is version 3.0.2.0 here at a 64 bit hardened Gentoo (and it happens only if the preferences menu is called from the simple view, not from the advanced view)… -- Toralf pgp key: 7B1A 07F4 EC82 0F90 D4C2 8936 872A E508 0076 E94E _______________________________________________ boinc_dev mailing list [email protected] http://lists.ssl.berkeley.edu/mailman/listinfo/boinc_dev To unsubscribe, visit the above URL and (near bottom of page) enter your email address.
