eww textarea fixups
* net/eww.el (eww-form-textarea): Use a different face for textareas than text input since they have different keymaps. Fixes: debbugs:16142
This commit is contained in:
parent
c93525876d
commit
fec0e8283f
2 changed files with 15 additions and 1 deletions
|
@ -1,3 +1,9 @@
|
|||
2013-12-25 Kenjiro NAKAYAMA <nakayamakenjiro@gmail.com>
|
||||
|
||||
* net/eww.el (eww-form-textarea): Use a different face for
|
||||
textareas than text input since they have different keymaps
|
||||
(bug#16142).
|
||||
|
||||
2013-12-24 Fabián Ezequiel Gallina <fgallina@gnu.org>
|
||||
|
||||
* progmodes/python.el (python-nav-beginning-of-statement): Speed
|
||||
|
|
|
@ -115,6 +115,14 @@ See also `eww-form-checkbox-selected-symbol'."
|
|||
:version "24.4"
|
||||
:group 'eww)
|
||||
|
||||
(defface eww-form-textarea
|
||||
'((t (:background "#C0C0C0"
|
||||
:foreground "black"
|
||||
:box (:line-width 1))))
|
||||
"Face for eww textarea inputs."
|
||||
:version "24.4"
|
||||
:group 'eww)
|
||||
|
||||
(defvar eww-current-url nil)
|
||||
(defvar eww-current-dom nil)
|
||||
(defvar eww-current-source nil)
|
||||
|
@ -776,7 +784,7 @@ See URL `https://developer.mozilla.org/en-US/docs/Web/HTML/Element/Input'.")
|
|||
(when (> pad 0)
|
||||
(insert (make-string pad ? ))))
|
||||
(add-face-text-property (line-beginning-position)
|
||||
(point) 'eww-form-text)
|
||||
(point) 'eww-form-textarea)
|
||||
(put-text-property (line-beginning-position) (point)
|
||||
'local-map eww-textarea-map)
|
||||
(forward-line 1))
|
||||
|
|
Loading…
Add table
Reference in a new issue