GNOME 3 bug?

[Nathanael D. Noblet]

On Fri, 2015-05-08 at 09:42 -0600, Nathanael D. Noblet wrote:
> 
>   So is this a bug? Is there a way to 'reset' gnome settings to
> defaults? Or detect differences between defaults and a user's 
> settings
> that may have caused this? I ask because previously I had window 
> focus
> set to follow the mouse at one point so perhaps a series of non
> -standard settings is causing this.
> 
>   Finally is this something that I should file a bug on?

Deleting a host of .gnome directories and re-logging in seems to have
fixed the window focus issue at the expense of having lost some other
minor settings.

> 
> -- 
> Nathanael