mirror of
https://github.com/SimpleMobileTools/Simple-Launcher.git
synced 2025-02-07 03:04:11 +01:00
Remove unused strokeWidth field from HomeScreenGrid
This commit is contained in:
parent
4392527909
commit
2038e9dcf1
@ -58,7 +58,6 @@ class HomeScreenGrid(context: Context, attrs: AttributeSet, defStyle: Int) : Rel
|
||||
private var labelSideMargin = context.resources.getDimension(R.dimen.small_margin).toInt()
|
||||
private var roundedCornerRadius = context.resources.getDimension(R.dimen.activity_margin)
|
||||
private var pageIndicatorRadius = context.resources.getDimension(R.dimen.page_indicator_dot_radius)
|
||||
private var pageIndicatorStrokeWidth = context.resources.getDimension(R.dimen.page_indicator_stroke_width)
|
||||
private var pageIndicatorMargin = context.resources.getDimension(R.dimen.page_indicator_margin)
|
||||
private var textPaint: TextPaint
|
||||
private var dragShadowCirclePaint: Paint
|
||||
|
Loading…
x
Reference in New Issue
Block a user