Wed, 23 Jul 2008 17:26:37 +0000 |
Chong Yidong |
* shell.el (shell-dynamic-complete-functions): Use
|
Wed, 23 Jul 2008 15:41:23 +0000 |
Jason Rumney |
* configure.bat: New option --profile.
|
Wed, 23 Jul 2008 15:37:44 +0000 |
Jason Rumney |
* w32font.c (w32font_open): Set font type to gdi.
|
Wed, 23 Jul 2008 14:00:05 +0000 |
Jason Rumney |
(right_overwritten): Doc fix
|
Wed, 23 Jul 2008 13:20:58 +0000 |
Jason Rumney |
*** empty log message ***
|
Wed, 23 Jul 2008 13:18:40 +0000 |
Jason Rumney |
(w32_enumfont_pattern_entity): Return height consistent with opened font.
|
Wed, 23 Jul 2008 08:51:00 +0000 |
Juanma Barranquero |
Fix typos.
|