Documentation of dtsgui.h