Re: [ jEdit-users ] Buffers & Properties (was Re: Anyone else want to be able to edit read-only buffers?)

[Manfred U. <uss...@ic...>]

On Thu, 28 Feb 2002 21:29:23 -0800
"Andrew Houghton" <aa...@ac...> wrote:

> Buffers should have a 'read-only' property, separate from the
> underlying file, but initially set to the same value as any backing
> file.

I think this is a very good solution.

Manfred


-- 
________________________________________________________________________

 Manfred Usselmann                            uss...@ic...
________________________________________________________________________