Re: Problem with gnome-shell-extension-prefs on GNOME 3.4.2

[Amy <mathematical coffee gmail com>]

Hi Norman,

I installed Arch Linux with GNOME shell 3.4.2 on a VM, and cannot
reproduce the problem.

However I have only just got everything up and running on Arch and the
graphics are still eye-bleedingly bad, so perhaps as I install more
packages something will break.

On 30 August 2012 05:05, Norman L. Smith <nls1729 gmail com> wrote:
> Amy:
>
> Please disregard my two prior posts.  For some unknown reason I thought
> I was running 3.4.2.  I am not.  I am on 3.4.1 on Fedora 17.
>
> The problem is not distro.  It is apparently 3.4.2 which I am sure you
> already know.
>
> Norman
>
>
>