[news.eclipse.technology] Re: Disable a document due to some event

[Wayne Beaton <wayne@xxxxxxxxxxx>]

To clarify... browse the eclipse.platform newsgroup archives.

Wayne

Daniel Megert wrote:
> Sheela wrote:
> > We have an IDE for our domain language that recognizes a particular 
> > type of script. This script has two parts, a header section and the 
> > body of the script. I have made the header section a seperate 
> > partition in the editor. How do i make this header section uneditable? 
> > else how do i make the whole document uneditable when the user 
> > positions the cursor in any part of this header section.
> Please browse the archive. This has been asked many times. No easy 
> solution though.
>
> Dani