Searched refs:mRoundedDefaultTop (Results 1 – 1 of 1) sorted by relevance
85 private int mRoundedDefaultTop; field in ScreenDecorations98 mRoundedDefaultTop = mContext.getResources().getDimensionPixelSize( in start()270 return mRoundedDefault > 0 || mRoundedDefaultBottom > 0 || mRoundedDefaultTop > 0; in hasRoundedCorners()354 int sizeTop = mRoundedDefaultTop; in onTuningChanged()