Linuxguy123 wrote: > You repeatedly claimed that this bug was due to a problem in the > proprietary nvidia driver: > https://bugzilla.redhat.com/show_bug.cgi?id=525767 > > However, that problem disappeared in F12 with no change in the driver > version. Hmmm.... This case is the rare exception, not the rule, in my experience. -- Rex