| Thu, 20 Sep 2007 18:56:07 +0000 |
Stefan Monnier |
(widget-image-insert): Don't merge mouse-face with neighbouring buttons.
|
| Thu, 20 Sep 2007 17:12:10 +0000 |
Richard M. Stallman |
*** empty log message ***
|
| Thu, 20 Sep 2007 17:11:48 +0000 |
Richard M. Stallman |
(Customizable variables): Face names don't end in -face.
|
| Thu, 20 Sep 2007 08:06:39 +0000 |
Glenn Morris |
*** empty log message ***
|
| Thu, 20 Sep 2007 03:13:47 +0000 |
Glenn Morris |
Done: tex-validate-region and paragraphs.
|
| Thu, 20 Sep 2007 03:06:38 +0000 |
Glenn Morris |
(tex-validate-buffer): Use paragraph motion functions, rather than
|
| Thu, 20 Sep 2007 02:52:32 +0000 |
Glenn Morris |
*** empty log message ***
|
