Hi, I think jEdit should have a flag to see if a buffer
is not loaded like the readonly flag.
The reason is that sometimes when opening a file, on a
ftp for example, for some reason it is not open
(network error). So jEdit opens the buffer and it is empty.
Nothing can tell that the buffer was not loaded correctly.
I also think that by default those buffer should be
readonly until the user decide to change the flag or
the buffer is reloaded
Matthieu
Submitted | kpouer - 2006-07-31 16:07:59 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | core |
Status | open | Group | None |
Resolution | None |
2006-07-31 16:10:36 kpouer |
Logged In: YES |
---|