bgirard/cleopatra — pull request #10 by mstange (2012-09-07 14:58:03+00:00)
Title: Small UI fixes

Most importantly, this fixes the gap in the blue selection background.