'pager' plugin should use GtkEvenBox or right click on the border gives weird result.
authorAndriy Grytsenko <andrej@rep.kiev.ua>
Fri, 5 Dec 2014 21:56:24 +0000 (23:56 +0200)
committerAndriy Grytsenko <andrej@rep.kiev.ua>
Fri, 5 Dec 2014 21:56:24 +0000 (23:56 +0200)
commitf9090dd85401661c0461f98eda190a6b4b0fe1cb
treec8b6a2239f7d6e56028477452955ade0244348a6
parentb0b2dcd76fea23fc96f5df9ea09b2220a678c134
'pager' plugin should use GtkEvenBox or right click on the border gives weird result.
plugins/pager.c