Dock widget provider support (#3108)

Co-authored-by: Daria Hamrah Paytakht <info@dariarnd.ir>
This commit is contained in:
Yasan
2022-11-14 14:57:56 +03:30
committed by GitHub
parent f578bf5286
commit 89475edf3e
8 changed files with 163 additions and 37 deletions

View File

@@ -51,6 +51,7 @@ import com.patrykmichalik.opto.core.PreferenceExtensionsKt;
import java.io.PrintWriter;
import app.lawnchair.DeviceProfileOverrides;
import app.lawnchair.hotseat.DisabledHotseat;
import app.lawnchair.preferences2.PreferenceManager2;
import app.lawnchair.theme.color.ColorOption;
@@ -351,7 +352,7 @@ public class DeviceProfile {
int hotseatBottomPaddingRes;
int hotseatBottomNonTallPaddingRes;
int hotseatExtraVerticalSizeRes;
boolean hotseatQsb = PreferenceExtensionsKt.firstBlocking(preferenceManager2.getHotseatQsb());
boolean hotseatQsb = PreferenceExtensionsKt.firstBlocking(preferenceManager2.getHotseatMode()) != DisabledHotseat.INSTANCE;
if (hotseatQsb) {
hotseatTopPaddingRes = R.dimen.dynamic_grid_hotseat_top_padding;
hotseatBottomPaddingRes = R.dimen.dynamic_grid_hotseat_bottom_padding;