Remove text property from empty line

This commit is contained in:
Matthias Meulien 2020-11-08 16:06:02 +01:00 committed by Torsten Hilbrich
parent 91ff1c8f7c
commit 28fe134971

View file

@ -788,9 +788,9 @@ This function knows about the special meaning of quotes (\")"
dictionary-description-open-delimiter dictionary-description-open-delimiter
(dictionary-decode-charset description dictionary) (dictionary-decode-charset description dictionary)
dictionary-description-close-delimiter dictionary-description-close-delimiter
" [" (dictionary-decode-charset dictionary dictionary) "]:" " [" (dictionary-decode-charset dictionary dictionary) "]:")
"\n\n") (put-text-property start (point) 'face 'dictionary-word-entry-face)
(put-text-property start (point) 'face 'dictionary-word-entry-face))) (insert "\n\n")))
(defun dictionary-display-word-definition (reply word dictionary) (defun dictionary-display-word-definition (reply word dictionary)
"Insert the definition for the current word" "Insert the definition for the current word"