Faces selected but not highlighted

[micheus]

Thanks for the file flügel3d.

Our i5 processors are from the "same age" and basically have the same specifies: i5 M520 vs. i5 650
By checking the attached file and comparing with mine, we can notice that they:

Code:

- use the same GPU: GMA HD
- the same OS version and build: Windows 7 64-bit build 7601 [Service Pack 1]
- my driver is newer than yours
    my: 8.15.10.2622 (1-10-2012) - GL:ig4icd64.dll
    your: 8.15.10.2182 (7-19-2010) - GL:ig4icd64.dll
- my OpenGL driver supports more extensions (30)
    my: OpenGL Extensions: 112 extensions (GL=99 and WGL=13)
    your: OpenGL Extensions: 92 extensions (GL=82 and WGL=10)

So, it seems the only difference between them is the driver version.

Anyway, I still need to check if some of these "extra" extensions are used by wings3d. (I don't think so)