Really hideous merge of Rolf Schmidt's code.
[hooke.git] / doc / GUI
2010-05-04 W. Trevor KingReally hideous merge of Rolf Schmidt's code.