Eclipse Community Forums: Technology Project and PMC » Disable a document due to some event

Help

Home

Home » Eclipse Projects » Technology Project and PMC » Disable a document due to some event

Show: Today's Messages :: Show Polls :: Message Navigator

Disable a document due to some event [message #75517]

Wed, 17 September 2008 12:10

Sheela

Messages: 52
Registered: July 2009

Member

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.

Report message to a moderator

Re: Disable a document due to some event [message #75534 is a reply to message #75517]

Wed, 17 September 2008 14:55

Dani Megert

Messages: 3802
Registered: July 2009

Senior Member

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

Report message to a moderator

Re: Disable a document due to some event [message #75551 is a reply to message #75534]

Wed, 17 September 2008 18:47

Wayne Beaton

Messages: 554
Registered: December 2017

Senior Member

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

Report message to a moderator