philipphoffmann/gnome3-jenkins-indicator — pull request #15 by negesti (2012-08-08 08:22:24+00:00)
Title: Settings preselect

clicking settings will select the extension when opened from "panel".
ps: Is the manual install instruction in readme working for you?
I had to rename the folder to uuid (jenkins-indicator@philipphoffmann.de) not 'gnome3-jenkins@philipphoffmann.de'