Searched refs:taskTopMargin (Results 1 – 1 of 1) sorted by relevance
3019 int taskTopMargin = deviceProfile.overviewTaskThumbnailTopMarginPx; in updateGridProperties() local3062 taskView.setGridTranslationY((mLastComputedTaskSize.height() + taskTopMargin in updateGridProperties()