// required for the testcases, not used in TQt Designer plugin
void timetrace(const char *txt)
{
  Q_UNUSED(txt);
}