ichbean
This is not Xiaomi’s fault, it’s Google’s
Gestures worked fine on MIUI 11. In the initial A12 update gestures stopped working, but you could at least circumvent it by using 3rd party gestures app like Edge Gestures. Then, a few months later Xiaomi released the update that killed even app gestures. That’s when I said fuck it, and installed a custom ROM, where gestures work with any launchers.
What’s your experience with full screen gestures and custom launchers, Pixel owners?
Check Settings > Devices > Displays > Scale. There should be 200% scale option.
I recommend using the environment variable. Place a text file, steam.sh
for example, into ~/.config/plasma-workspace/env/
containing
!/bin/sh
export STEAM_FORCE_DESKTOPUI_SCALING=2.0
https://vonheikemen.github.io/devlog/tools/build-your-first-lua-config-for-neovim/
Check his other blog posts tagged with neovim.