v0.8.12.2
- Use /usr/local/ as a default prefix (alterable with the --prefix= setup.py option).
- Fix --with-gtk= option not working sometimes.
- Fix highlight of "Ctrl" visual in hotkey selection dialog.
- Gtk3: Don't show category titles in several lines.
- Gtk3: Fix CCSM not shrinking back after upsizing to a certain point.
- Gtk2: Fix a segfault on rare installations when clicking on list items.