refresh file thumbnails if the rounded corners setting changes

This commit is contained in:
tibbi 2021-01-18 19:48:42 +01:00
parent 92802b2923
commit 78a75fe873

View file

@ -74,6 +74,7 @@ class MediaActivity : SimpleActivity(), MediaOperationsListener {
private var mStoredCropThumbnails = true
private var mStoredScrollHorizontally = true
private var mStoredShowFileTypes = true
private var mStoredRoundedCorners = false
private var mStoredTextColor = 0
private var mStoredPrimaryColor = 0
private var mStoredThumbnailSpacing = 0
@ -158,6 +159,12 @@ class MediaActivity : SimpleActivity(), MediaOperationsListener {
handleGridSpacing()
}
if (mStoredRoundedCorners != config.fileRoundedCorners) {
handleGridSpacing()
media_grid.adapter = null
getMedia()
}
media_horizontal_fastscroller.updateBubbleColors()
media_vertical_fastscroller.updateBubbleColors()
media_refresh_layout.isEnabled = config.enablePullToRefresh
@ -304,6 +311,7 @@ class MediaActivity : SimpleActivity(), MediaOperationsListener {
mStoredTextColor = textColor
mStoredPrimaryColor = primaryColor
mStoredThumbnailSpacing = thumbnailSpacing
mStoredRoundedCorners = fileRoundedCorners
mShowAll = showAll
}
}