Hide column headers in plugin manager dialog
commita13b033d424bd25d013518d4c18d20eb681042f4
authorColomban Wendling <ban@herbesfolles.org>
Thu, 1 May 2014 01:18:04 +0000 (1 03:18 +0200)
committerColomban Wendling <ban@herbesfolles.org>
Thu, 1 May 2014 01:18:04 +0000 (1 03:18 +0200)
tree13a43419a299d27ce9ca31fd2cde3cc8a9d0e029
parent605ec0b02ec8f563fc683b76f2b5684018bcfa31
Hide column headers in plugin manager dialog

They are not very useful and waste both vertical (the headers
themselves) and horizontal (first column wider because of title)
screen space.
src/plugins.c