On 2/17/14, Mattias Gaertner <nc-gaertnma at netcologne.de> wrote: > The "win32" is the widgetset. The win32 widgetset supports > 64bit too. I understand, but the naming indeed is unfortunate > It should be renamed. Maybe "winapi"? win32-64? Bart