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

[Daniel Megert <daniel_megert@xxxxxxxxxx>]

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