ichbean
https://vonheikemen.github.io/devlog/tools/build-your-first-lua-config-for-neovim/
Check his other blog posts tagged with neovim.
Check Settings > Devices > Displays > Scale. There should be 200% scale option.
I’m curious about that dot shading, looks like print. Is it some kind of halftone stamp?
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
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?