Kristian/home-manager
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

changed text dpi for scanning

Browse Source
This commit is contained in:
Kristian Krsnik 2023-08-20 19:07:29 +02:00
parent 1b4d6f347f
commit de0c87970b
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
home/gnome.nix
View File

@ -55,6 +55,9 @@
"org/gnome/Console" = { "org/gnome/Console" = {
theme = "auto"; theme = "auto";
}; };
"org/gnome/simple-scan" = {
text-dpi = 300;
};
"org/gnome/shell" = { "org/gnome/shell" = {
disable-user-extensions = false; disable-user-extensions = false;
enabled-extensions = [ enabled-extensions = [