diff options
| author | Lars Magne Ingebrigtsen | 2015-02-10 16:41:36 +1100 |
|---|---|---|
| committer | Lars Magne Ingebrigtsen | 2015-02-10 16:41:36 +1100 |
| commit | 84d9c19319ac63550a2d45f6688825d9be716185 (patch) | |
| tree | ee566512e7b9f8bc477a71bfe05a0fc4fa39bcc0 | |
| parent | 656caef3505e11b073d59b9c18d3fd21e199d77c (diff) | |
| download | emacs-84d9c19319ac63550a2d45f6688825d9be716185.tar.gz emacs-84d9c19319ac63550a2d45f6688825d9be716185.zip | |
Mention the shr font changes
* doc/misc/eww.texi (Basics): Mention eww-toggle-fonts.
| -rw-r--r-- | doc/misc/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/misc/eww.texi | 6 | ||||
| -rw-r--r-- | etc/NEWS | 8 |
3 files changed, 18 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index bc22b677288..c796b751f05 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,7 @@ | |||
| 1 | 2015-02-10 Lars Ingebrigtsen <larsi@gnus.org> | ||
| 2 | |||
| 3 | * eww.texi (Basics): Mention eww-toggle-fonts. | ||
| 4 | |||
| 1 | 2015-02-05 Glenn Morris <rgm@gnu.org> | 5 | 2015-02-05 Glenn Morris <rgm@gnu.org> |
| 2 | 6 | ||
| 3 | * auth.texi (Multiple GMail accounts with Gnus): Markup fix. | 7 | * auth.texi (Multiple GMail accounts with Gnus): Markup fix. |
diff --git a/doc/misc/eww.texi b/doc/misc/eww.texi index fd9f6f543e0..f60354d6d68 100644 --- a/doc/misc/eww.texi +++ b/doc/misc/eww.texi | |||
| @@ -103,6 +103,12 @@ web page hit @kbd{g} (@code{eww-reload}). Pressing @kbd{w} | |||
| 103 | which part of the document contains the ``readable'' text, and will | 103 | which part of the document contains the ``readable'' text, and will |
| 104 | only display this part. This usually gets rid of menus and the like. | 104 | only display this part. This usually gets rid of menus and the like. |
| 105 | 105 | ||
| 106 | @findex eww-toggle-fonts | ||
| 107 | @findex shr-use-fonts | ||
| 108 | @kindex F | ||
| 109 | The @kbd{F} command (@code{eww-toggle-fonts}) toggles whether to use | ||
| 110 | variable-pitch fonts or not. This sets the @code{shr-use-fonts} variable. | ||
| 111 | |||
| 106 | @findex eww-download | 112 | @findex eww-download |
| 107 | @vindex eww-download-directory | 113 | @vindex eww-download-directory |
| 108 | @kindex d | 114 | @kindex d |
| @@ -275,6 +275,14 @@ useful when, for example, one needs to distinguish various spaces (e.g. ] [, | |||
| 275 | 275 | ||
| 276 | ** eww | 276 | ** eww |
| 277 | 277 | ||
| 278 | --- | ||
| 279 | *** HTML can now be rendered using variable-width fonts. | ||
| 280 | |||
| 281 | +++ | ||
| 282 | *** A new command `F' (`eww-toggle-fonts') can be used to toggle | ||
| 283 | whether to use variable-pitch fonts or not. The user can also | ||
| 284 | customize the `shr-use-fonts' variable. | ||
| 285 | |||
| 278 | +++ | 286 | +++ |
| 279 | *** A new command `R' (`eww-readable') will try do identify the main | 287 | *** A new command `R' (`eww-readable') will try do identify the main |
| 280 | textual parts of a web page and display only that, leaving menus and | 288 | textual parts of a web page and display only that, leaving menus and |