I don't think this is too much of a problem, all we have to do is to keep the images (the same ones or new ones) with the same names as of today. Independent whether the core uses it or not. I'm sure plugins which do not look nice with the new style will be changed soon.
> Am 07.06.2014 um 03:00 schrieb Michael Neale <michael.ne...@gmail.com>: > > You mean the paths/file names are hard coded in jelly? Is changing the icons > themselves not on te cards? An alternative is what some of the plugins do now > which is to serve up different icons for specific paths (like I think the > green balls plugin does) > >> On Saturday, June 7, 2014, Tom Fennelly <tom.fenne...@gmail.com> wrote: >> All the icons in Jenkins are hardcoded as images in the Jelly scripts. We >> were hoping to move away from this (ala Doony) by using CSS + some >> Javascript (for the animation). Seems like this is not possible to do >> without getting into screen-scraping hacks because the <img>s are used out >> in plugins too (not just in the core Jenkins code) e.g. the maven plugin. >> >> I guess this means we're stuck with using images Vs CSS +Javascript ? >> -- >> 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/zDaX4yiWLLw/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> jenkinsci-dev+unsubscr...@googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. > > > -- > Michael D Neale > home: www.michaelneale.net > blog: michaelneale.blogspot.com > -- > 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 jenkinsci-dev+unsubscr...@googlegroups.com. > 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 jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
