#include "PatchLev.h"
char __Ident_widget[] = "$PatchLevel: atariST/TT widgetlib: " PatchLevel " $";