toShortString method

String toShortString()

Implementation

String toShortString() {
  var longString = toString();
  return longString.substring(0, 7) +
      '...' +
      longString.substring(longString.length - 6);
}