fluxbox/fluxbox — pull request #3 by rpavlik (2011-10-31 15:49:12+00:00)
Title: Other improvements

These are a number of improvement commits too small for one pull request each, in my mind.