Searched refs:mPipViewTopMargin (Results 1 – 1 of 1) sorted by relevance
78 private final int mPipViewTopMargin; field in TvViewUiManager149 mPipViewTopMargin = mResources.getDimensionPixelOffset(R.dimen.pipview_margin_top); in TvViewUiManager()606 topMargin = tvTopMargin + (int) (mPipViewTopMargin * verticalScaleFactor); in updatePipView()