minHeight property

int get minHeight

Minimum height needed to render all content.

Implementation

int get minHeight {
  var h = 3; // top border + signal row + bottom border
  if (data.level.index >= DisclosureLevel.plainEnglish.index &&
      data.explanation != null) {
    h += 1;
  }
  if (data.level.index >= DisclosureLevel.evidenceTerms.index &&
      data.evidence != null &&
      data.evidence!.isNotEmpty) {
    h += 1; // header
    h += data.evidence!.length;
  }
  if (data.level.index >= DisclosureLevel.fullDetails.index &&
      data.details != null) {
    h += 2; // separator + stats line
  }
  return h;
}