<div dir="ltr"><br><br><div class="gmail_quote">On Thu, Jul 24, 2008 at 1:32 PM, Kjetil Torgrim Homme <<a href="mailto:kjetilho@linpro.no">kjetilho@linpro.no</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d">David Lutterkort <<a href="mailto:dlutter@redhat.com">dlutter@redhat.com</a>> writes:<br>
> Yes, as I understand what Raphael was asking for, quotient<br>
> lenses/canonizers would be the right answer. The goal would be, e.g. to<br>
> make sure that the white space between the IP address and the canonical<br>
> hosts name in /etc/hosts is always a single space (or a tab or ...)<br>
<br>
</div>indeed, but I think we want (most) comments to stay around.  adding a<br>
new primitive which is synonomous with "del" except when reformatting<br>
might do the trick.</blockquote><div><br>If you treat comments as nodes, then this is not a problem anymore.<br><br> <br>Raphaël<br></div></div><br></div>