diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2021-08-03 18:54:17 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2021-08-03 18:54:17 +0200 |
| commit | f2907319a6ccc76b68d9ea7cdf5b7018a677d47d (patch) | |
| tree | 3477f6692c9ce52d9258fbeb59e58dc7b89cff9c /.local | |
| parent | 42a9a3c41ef527422caad82bf4ffa7031e5267d1 (diff) | |
| download | dotfiles-f2907319a6ccc76b68d9ea7cdf5b7018a677d47d.tar.xz | |
Make Emacs heed GSettings
The pgtk build will not honor X resources anymore; move with the
times.
On my Debian XFCE laptop with a 1366x768 screen, this setting seems to
yield acceptable results:
$ gsettings set org.gnome.desktop.interface monospace-font-name \
'DejaVu Sans Mono 11'
Diffstat (limited to '.local')
| -rwxr-xr-x | .local/bin/emacs-build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.local/bin/emacs-build b/.local/bin/emacs-build index 20b9fba..31a79ec 100755 --- a/.local/bin/emacs-build +++ b/.local/bin/emacs-build @@ -3,7 +3,7 @@ set -eux make="make -j$(nproc --all)" -configure_flags="--with-xwidgets --with-cairo" +configure_flags="--with-xwidgets --with-cairo --with-gconf" if ! test -f Makefile then |