Remove code for styling the pager
authorPhilip Chimento <philip.chimento@gmail.com>
Sun, 16 Sep 2012 13:21:23 +0000 (15:21 +0200)
committerPhilip Chimento <philip.chimento@gmail.com>
Sun, 16 Sep 2012 13:21:23 +0000 (15:21 +0200)
It can be done by normal GTK CSS styling when we switch to that.


No differences found