+2013-06-21 Lars Magne Ingebrigtsen <larsi@gnus.org>
+
+ * net/eww.el (eww-update-header-line-format): Quote % characters.
+
2013-06-21 Glenn Morris <rgm@gnu.org>
* play/cookie1.el (cookie): New custom group.
(defun eww-update-header-line-format ()
(if eww-header-line-format
- (setq header-line-format (format-spec eww-header-line-format
- `((?u . ,eww-current-url)
- (?t . ,eww-current-title))))
+ (setq header-line-format
+ (replace-regexp-in-string
+ "%" "%%"
+ (format-spec eww-header-line-format
+ `((?u . ,eww-current-url)
+ (?t . ,eww-current-title)))))
(setq header-line-format nil)))
(defun eww-tag-title (cont)