hi Cosimo; do you have some notes as to what kind of API you and Benjamin were thinking about? I can probably spare a couple of cycles to work on it for 3.10, and it would help me getting up to speed.
ciao, Emmanuele. On 1 May 2013 09:15, Cosimo Cecchi <[email protected]> wrote: > On Wed, May 1, 2013 at 11:35 AM, Allan Day <[email protected]> wrote: >> >> Marco Scannadinari <[email protected]> wrote: >> > Cosimo or Benjamin can tell you more about the specifics. >> > >> > Thanks. By Cosmio and Benjamin, do you mean Cosimo Cecchi and Benjamin >> > Otte? >> >> I do indeed. :) (I was kinda hoping that they'd chime in.) > > > Hi Marco and Allan, > > Indeed the reason they're different is the "line style" the shell spinner - > and former GtkSpinner widget - has is not possible to do with pure CSS > gradients while keeping arbitrary scalability of the widget. > Our long term plan for this would be to have a set of predefined sizes for > the spinner (as we currently do for icons). This would make it possible to > achieve the animation from the theme using actual image assets instead of > layered CSS gradients, which gives us all the flexibility we need to ensure > consistency, but no-one stepped in and actually tried to implement this idea > yet. > > Cosimo > > _______________________________________________ > desktop-devel-list mailing list > [email protected] > https://mail.gnome.org/mailman/listinfo/desktop-devel-list -- W: http://www.emmanuelebassi.name B: http://blogs.gnome.org/ebassi/ _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
