|
From: | Vinicius Jose Latorre |
Subject: | Re: 23.0.60; whitespace.el mishap |
Date: | Sat, 16 Feb 2008 00:28:54 -0300 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.1.12) Gecko/20080201 SeaMonkey/1.1.8 |
I gather that Richard wanted the new functionality to use the "whitespace" name, which makes some sense, but it seems seems to have been done rather clumsily in some cases. E.g. the new "whitespace-buffer" command seems completely different than the old "whitespace-buffer" command, and really there seems no good reason for it. Vinicius, can you fix up these wrinkles?
Well, indeed the old whitespace-buffer had reported where the bogus whitespace had happened. Instead of reporting, the new whitespace-mode displays visually the bogus whitespace. Is it ok if the new whitespace-buffer is removed? Maybe a better alternative should be to create a whitespace-report command which reports like the old whitespace-buffer. Opinions...
[Prev in Thread] | Current Thread | [Next in Thread] |