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