@Edent I didn't know it was this easy to change! Also that setting name is very bad, why not call it screen dpi or similar.. 😭
undefined
bew :nixos::neovim:
@bew@floss.social
Posts
-
@Edent what's so bad about <div> ... or: Why do you want to avoid them? -
@Edent what's so bad about <div> ... or: Why do you want to avoid them?@Edent nice to see indeed! Not so nice that they are on a separate 'page' though 😬