Theme extension broke
 

Just wondering has anyone experienced the inability to use the theme
selector in gnome tweak tool. Does not offer the option of reporting
it as a bug. It has been broke more than a month.

--

Lawrence Graves
All things are workable but don't all things work.


--
users mailing list
users@lists.fedoraproject.org
To unsubscribe or change subscription options:
https://admin.fedoraproject.org/mailman/listinfo/users
Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
Have a question? Ask away: http://ask.fedoraproject.org

Theme extension broke
 

On Wed, Dec 21, 2011 at 5:15 PM, Lawrence Graves <lgraves95@gmail.com> wrote:







Just wondering has anyone experienced the inability to use the theme
selector in gnome tweak tool. Does not offer the option of reporting
it as a bug. It has been broke more than a month.

--

Lawrence Graves
All things are workable but don't all things work.



--

*Yea I have the same issue here, forgot about it til I saw this email.*
--
Mister Jones*




--
users mailing list
users@lists.fedoraproject.org
To unsubscribe or change subscription options:
https://admin.fedoraproject.org/mailman/listinfo/users
Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
Have a question? Ask away: http://ask.fedoraproject.org

Theme extension broke
 

Hi,

the bug was reported and fixed upstream;
https://bugzilla.gnome.org/show_bug.cgi?id=666054
You should write a bug report to merge the fix in the gnome-tweak-tool package.
--
users mailing list
users@lists.fedoraproject.org
To unsubscribe or change subscription options:
https://admin.fedoraproject.org/mailman/listinfo/users
Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
Have a question? Ask away: http://ask.fedoraproject.org