[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Changing of line format and undo
|
From: |
Richard Stallman |
|
Subject: |
Re: Changing of line format and undo |
|
Date: |
Tue, 04 Jul 2006 08:55:06 -0400 |
If you change line endings this change is not saved to undo. However it
is a change that is written to the edited file. Therefore I think it
should be saved to undo.
It seemed quite hard to fix this but it seems like Stefan has a very
good idea of how to do this.
Let's try that change, and see how it works out.