[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: About how misspelled word are displayed
From: |
Angelo Graziosi |
Subject: |
Re: About how misspelled word are displayed |
Date: |
Sat, 13 May 2017 00:14:51 +0200 |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.1.0 |
Il 12/05/2017 22:41, Drew Adams ha scritto:
IOW, we now have not only Customize writing to your `custom-file'
or init file; we have also the package system doing that.
It's questionable whether that's a great idea - a question that was
discussed briefly on emacs-devel@gnu.org:...
One of the Emacs maintainers asked there whether we shouldn't use a
different file for this. But AFAIK that thread went nowhere.
An earlier thread also broached the question somewhat:...
See also this thread, even earlier. As soon as the package system
started writing to user init files (or `custom-file') people raised
the question of making it use another file or files.
http://lists.gnu.org/archive/html/emacs-devel/2014-06/msg00375.html
Thanks for all your clarification.
Finally I found where to customize: Customize Group: flyspell, and then
I found the flyspell-duplicate/incorrect options. Now my custom.el
(after a few tries) is:
$ cat custom.el
[...]
(custom-set-faces
;; custom-set-faces was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
'(flyspell-duplicate ((t (:foreground "Gold3" :underline t :weight
bold))))
'(flyspell-incorrect ((t (:foreground "Red1" :underline t :weight
bold)))))
Thanks,
Angelo.
Re: About how misspelled word are displayed, Angelo Graziosi, 2017/05/12
- RE: About how misspelled word are displayed, Drew Adams, 2017/05/12
- RE: About how misspelled word are displayed, Drew Adams, 2017/05/12
- Re: About how misspelled word are displayed,
Angelo Graziosi <=
- Re: About how misspelled word are displayed, Emanuel Berg, 2017/05/12
- Re: About how misspelled word are displayed, John Mastro, 2017/05/12
- Re: About how misspelled word are displayed, Emanuel Berg, 2017/05/13
Re: About how misspelled word are displayed, Emanuel Berg, 2017/05/12
Re: About how misspelled word are displayed, Angelo Graziosi, 2017/05/12