The pager widget themeing should be better
Submitted by Benjamin Otte (Company)
Link to original bug (#347965)
Description
Currently the pager widget is not very themeable. It uses some of the theme's colors, but does not use gtk_paint_* functions for rendering. This makes it hard to really change the appearance of the pager.