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