Function EditWidgetBase.onHoverTimeout

override to handle mouse hover timeout in text

void onHoverTimeout(
  Point pt,
  TextPosition pos
);