Function TabWidget.renameTab

change name of tab

void renameTab(
  string ID,
  dstring name
);

void renameTab(
  int index,
  dstring name
);

void renameTab(
  int index,
  string id,
  dstring name
);