Searched refs:headerTextMargin (Results 1 – 1 of 1) sorted by relevance
311 int headerTextMargin = expandedHeader.getHeaderTextMarginEnd(); in updateContractedHeaderWidth() local312 if (headerTextMargin != contractedHeader.getHeaderTextMarginEnd()) { in updateContractedHeaderWidth()313 contractedHeader.setHeaderTextMarginEnd(headerTextMargin); in updateContractedHeaderWidth()