optimized button_height
treef695d715342457217e8a83fad8165be020d4f1d9
-rw-r--r-- 35148 COPYING
-rw-r--r-- 923 README
drwxr-xr-x - bin
drwxr-xr-x - data
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - icons
-rw-r--r-- 1762 makefile
-rw-r--r-- 2364 setup.py
drwxr-xr-x - src