I have checked in a fix for this, which will be in the next version. Cheers, --Charlie
On Dec 29, 2014, at 5:23 AM, Toralf Förster <[email protected]> wrote: > 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.
