Thanks Ulli.
Plugins can "contribute" to a theme "implementation" in the very same
way as Jenkins Core does. Therefore, it can "contribute" icon style
definitions to multiple icon theme "implementations". See
https://github.com/jenkinsci/uithemes-plugin#registering-and-contributing-to-themes
for a bit more info on this.
On 05/01/2015 21:59, Ulli Hafner wrote:
That looks very promising!
How would this concept integrate with plus-ins? Does a theme provide
icons for plug-ins, too? Or is each plug-in providing icons for each
available theme?
Am 05.01.2015 um 18:56 schrieb Tom Fennelly <[email protected]
<mailto:[email protected]>>:
I got back to doing a little bit of Jenkins Core UI work in the last
few weeks. I've evolved the uithemes-plugin
<https://github.com/jenkinsci/uithemes-plugin> a bit further in the
last few weeks, to a stage now where (on this branch) a user can
perform personalized theme configurations such as:
* Status Balls/Orbs
* Page Header
* Icons
* Console/terminal (ala PR #1272 from @kevinburke)
More info on uithemes-plugin
<https://github.com/jenkinsci/uithemes-plugin>, as well as short
video: http://img.youtube.com/vi/ZlD0zf1VCAs/0.jpg
I also created a WIP pull request at #1512
<https://github.com/jenkinsci/jenkins/pull/1512>. Might be better to
have any conversations over there.
--
You received this message because you are subscribed to the Google
Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-dev/9523f33b-78c9-417b-9035-971f0e471036%40googlegroups.com
<https://groups.google.com/d/msgid/jenkinsci-dev/9523f33b-78c9-417b-9035-971f0e471036%40googlegroups.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to a topic in the
Google Groups "Jenkins Developers" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/jenkinsci-dev/VaTOWEZHyfI/unsubscribe.
To unsubscribe from this group and all its topics, send an email to
[email protected]
<mailto:[email protected]>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-dev/2C0AF241-9FFA-4DF0-8843-9397C05212EC%40gmail.com
<https://groups.google.com/d/msgid/jenkinsci-dev/2C0AF241-9FFA-4DF0-8843-9397C05212EC%40gmail.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "Jenkins
Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-dev/54ABC9DD.4090701%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
