On 09/14/2013 09:06 PM, "Germán A. Racca" wrote: > Take a look at this extension: > https://extensions.gnome.org/extension/721/gnome-shell-open-terminal/ Thank you Germán. I just posted how I solved that particular one but I'm glad to know there was also an extension for that! Best regards, Jorge -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
