Skip to main content


Eclipse Community Forums

      Home
Home » Eclipse Projects » Technology Project and PMC » Disable a document due to some event
Disable a document due to some event [message #75517] Wed, 17 September 2008 08:10 Go to next message
Eclipse UserFriend
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.
Re: Disable a document due to some event [message #75534 is a reply to message #75517] Wed, 17 September 2008 10:55 Go to previous messageGo to next message
Eclipse UserFriend
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
Re: Disable a document due to some event [message #75551 is a reply to message #75534] Wed, 17 September 2008 14:47 Go to previous message
Eclipse UserFriend
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
Re: Disable a document due to some event [message #601779 is a reply to message #75517] Wed, 17 September 2008 10:55 Go to previous message
Eclipse UserFriend
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
Re: Disable a document due to some event [message #601791 is a reply to message #75534] Wed, 17 September 2008 14:47 Go to previous message
Eclipse UserFriend
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
Previous Topic:Disable a document due to some event
Next Topic:Which project containt feature - choice Web browser
Goto Forum:
  


Current Time: Sun May 11 13:41:35 EDT 2025

Powered by FUDForum. Page generated in 0.02784 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top

Sign up to our Newsletter

A fresh new issue delivered monthly