Merged Rolf Schmidt's illysam branch
[hooke.git] / hooke / ui / gui / panels / results.py