Lars told me on IRC that it's unlikely that Leo's branch will be merged soon (as it has way too many unrelated changes), so let's go with this one to fix gnome-panel.
I have now used a gradient instead of a solid color, and also added :prelight and :prelight:active styles.
Lars told me on IRC that it's unlikely that Leo's branch will be merged soon (as it has way too many unrelated changes), so let's go with this one to fix gnome-panel.
I have now used a gradient instead of a solid color, and also added :prelight and :prelight:active styles.