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 | |
| 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'
| -rw-r--r-- | .emacs-custom.el | 1 | ||||
| -rwxr-xr-x | .local/bin/emacs-build | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/.emacs-custom.el b/.emacs-custom.el index 90f85d8..2ed1bf2 100644 --- a/.emacs-custom.el +++ b/.emacs-custom.el @@ -37,6 +37,7 @@ '(erc-user-full-name 'user-full-name) '(eshell-scroll-show-maximum-output nil) '(find-ls-option '("-exec ls -ld {} +" . "-ld")) + '(font-use-system-font t) '(footnote-body-tag-spacing 1) '(footnote-section-tag "") '(frame-resize-pixelwise t) 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 |