Really hideous merge of Rolf Schmidt's code.
[hooke.git] / hooke / ui / gui / hookeresults.py
2010-05-04 W. Trevor KingReally hideous merge of Rolf Schmidt's code.