| Tue, 17 Oct 2000 07:47:27 +0000 |
Eli Zaretskii |
(info-header-node): Remove unneded tty-specific definition.
|
| Tue, 17 Oct 2000 06:52:28 +0000 |
Eli Zaretskii |
(Info-title-1-face, Info-title-2-face, Info-title-3-face): Define
|
| Mon, 16 Oct 2000 15:25:21 +0000 |
Miles Bader |
(Info-set-mode-line): Tweak string.
|
| Mon, 16 Oct 2000 13:59:49 +0000 |
Miles Bader |
(Info-set-mode-line): Use `%b' instead of hardwired string "*Info*".
|
| Sun, 15 Oct 2000 16:46:09 +0000 |
Dave Love |
(Info-mouse-follow-nearest-node): Use mouse-set-point.
|
| Wed, 11 Oct 2000 18:23:46 +0000 |
Dave Love |
(Info-mode-menu): Fix some help.
|
| Sun, 08 Oct 2000 15:44:36 +0000 |
Dave Love |
(Info-goto-node, Info-menu): Doc fix.
|
| Fri, 29 Sep 2000 14:14:33 +0000 |
Miles Bader |
Tweak whitespace
|
| Thu, 28 Sep 2000 14:33:56 +0000 |
Stefan Monnier |
(Info-extract-pointer): Undo last change.
|
| Wed, 27 Sep 2000 21:55:54 +0000 |
Stefan Monnier |
(Info-extract-pointer):
|
| Thu, 21 Sep 2000 04:43:28 +0000 |
Miles Bader |
Use the correct capitalization when making Info-mode and Info-edit-mode
|
| Wed, 20 Sep 2000 08:44:46 +0000 |
Miles Bader |
(info-header-node): Tweak for color ttys.
|
| Mon, 18 Sep 2000 05:54:32 +0000 |
Miles Bader |
(Info-title-3-face, Info-title-2-face, Info-title-1-face):
|
| Sun, 17 Sep 2000 17:03:20 +0000 |
Miles Bader |
(info-node, info-xref): Add dark-background variants.
|
| Sun, 17 Sep 2000 16:20:35 +0000 |
Miles Bader |
(Info-fontify-node):
|
