Com o Gnome 3.18, eu sei como aumentar o escalonamento do windows, com a extensão gnome tweak. Mas, o dimensionamento de janelas é um valor inteiro. Escala do Windows definida como 1 (padrão), os elementos da interface são muito pequenos no meu labtop 14 ’com 1980x1280, HiDPI. Mas o dimensionamento do Windows definido como 2, os elementos são realmente muito grandes, mesmo após a reinicialização. Então, por favor, diga-me como mudar o DPI “global” com terminal com valor decimal, ao invés do Windows, para o Gnome 3.18. Obrigado antecipadamente!