Use GtkAlignment in 'pager' plugin to be able to set the border.
authorAndriy Grytsenko <andrej@rep.kiev.ua>
Sat, 16 Aug 2014 20:01:54 +0000 (23:01 +0300)
committerAndriy Grytsenko <andrej@rep.kiev.ua>
Sat, 16 Aug 2014 20:01:54 +0000 (23:01 +0300)
commit8952f5891056a93744e772e55fc51943543e8856
tree482eb76bbba1839eb2e471e9addf28e818f25a39
parentbab136698dcdfb000e8d954444db29e08df876d6
Use GtkAlignment in 'pager' plugin to be able to set the border.
src/plugins/pager.c