Mon, 16 Jun 2008 01:57:42 +0000 |
Glenn Morris |
Add Cover-Texts.
|
Sun, 15 Jun 2008 21:08:04 +0000 |
Juanma Barranquero |
Fix typo.
|
Sun, 15 Jun 2008 20:20:42 +0000 |
Chong Yidong |
Fix last change.
|
Sun, 15 Jun 2008 20:11:11 +0000 |
Chong Yidong |
*** S-down-mouse-1 now pops up a menu for changing the default font
|
Sun, 15 Jun 2008 20:04:33 +0000 |
Chong Yidong |
(mouse-appearance-menu-map): New var.
|
Sun, 15 Jun 2008 20:04:18 +0000 |
Chong Yidong |
* mouse.el (mouse-appearance-menu-map): New var.
|
Sun, 15 Jun 2008 19:44:11 +0000 |
Chong Yidong |
*** New function `font-face-attributes' returns a plist of face
|
Sun, 15 Jun 2008 19:42:53 +0000 |
Chong Yidong |
(Fx_select_font): Give GTK font dialog the default font name.
|
Sun, 15 Jun 2008 19:42:31 +0000 |
Chong Yidong |
(font_unparse_gtkname): Add prototype.
|
Sun, 15 Jun 2008 19:42:11 +0000 |
Chong Yidong |
(font_parse_fcname): Only only one decimal point.
|
Sun, 15 Jun 2008 19:41:54 +0000 |
Chong Yidong |
* font.c (font_parse_fcname): Only only one decimal point.
|
Sun, 15 Jun 2008 18:18:16 +0000 |
Juri Linkov |
*** empty log message ***
|
Sun, 15 Jun 2008 18:15:11 +0000 |
Juri Linkov |
(Info-toc): Call Info-toc-nodes instead of Info-build-toc.
|
Sun, 15 Jun 2008 16:59:25 +0000 |
Michael Albinus |
*** empty log message ***
|