Mon, 23 Oct 2000 05:37:24 +0000 |
Miles Bader |
*** empty log message ***
|
Mon, 23 Oct 2000 05:36:42 +0000 |
Miles Bader |
(woman-italic-face, woman-bold-face, woman-unknown-face):
|
Mon, 23 Oct 2000 05:32:59 +0000 |
Miles Bader |
(face-user-default-spec, face-default-spec): New functions.
|
Mon, 23 Oct 2000 04:50:20 +0000 |
Miles Bader |
*** empty log message ***
|
Mon, 23 Oct 2000 04:49:36 +0000 |
Miles Bader |
(header-line): Make more reasonable on mono/grayscale displays.
|
Mon, 23 Oct 2000 03:32:59 +0000 |
Miles Bader |
*** empty log message ***
|
Mon, 23 Oct 2000 03:14:04 +0000 |
Miles Bader |
(VCENTER_BASELINE_OFFSET): Bias the division by two, so that when a font
|