Luca,

Thank you for the suggestion; I do have an Nvidia graphics card and I am
using the Nvida driver; still searching for a solution, quite odd...

Tom

On Thu, Mar 28, 2013 at 12:28 PM, Luca Nanetti <luca.nanetti@gmail.com>wrote:

> Thomas,
> any chance that you could have problems with your graphic driver? For
> instance, if you have an Nvidia graphic card, I would recommend switching
> from the 'nouveau' driver to the official Nvidia one.
>
> Kind regards,
> luca
>

	[[alternative HTML version deleted]]

