1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
{ pkgs, ... }:
{
home.packages = [ pkgs.gnome-text-editor ];
dconf.settings = {
"org/gnome/TextEditor" = {
highlight-current-line = true;
wrap-text = true;
show-line-numbers = true;
show-map = true;
show-right-margin = true;
indent-style = "space";
indent-width = 4;
};
};
}