diff options
author | Torsten Hilbrich <torsten.hilbrich@gmx.net> | 2019-04-03 21:18:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-03 21:18:36 +0200 |
commit | 6edc1d0a4156d33c3da0c1649c308b809fda46e1 (patch) | |
tree | 8591c535fcdde4ed749e1c550d098315be416def | |
parent | 79a0c9a7702cc74da91452cdb324a0956172c660 (diff) | |
parent | 71b1f009c69d153befba5ae88c41888d9f240978 (diff) |
Merge pull request #4 from amitramon/master
Removed unnecessary quote in dictionary-word-definition-face
-rw-r--r-- | dictionary.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dictionary.el b/dictionary.el index 6c00682..45548ee 100644 --- a/dictionary.el +++ b/dictionary.el @@ -220,7 +220,7 @@ by the choice value: (progn (defface dictionary-word-definition-face - '((((supports '(:family "DejaVu Serif"))) + '((((supports (:family "DejaVu Serif"))) (:family "DejaVu Serif")) (((type x)) (:font "Sans Serif")) |