Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    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 12:10 Go to next message
Sheela is currently offline 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.
Re: Disable a document due to some event [message #75534 is a reply to message #75517] Wed, 17 September 2008 14:55 Go to previous messageGo to next message
Dani Megert is currently offline Dani Megert
Messages: 3801
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
Re: Disable a document due to some event [message #75551 is a reply to message #75534] Wed, 17 September 2008 18:47 Go to previous message
Wayne Beaton is currently offline Wayne Beaton
Messages: 498
Registered: July 2009
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
Re: Disable a document due to some event [message #601779 is a reply to message #75517] Wed, 17 September 2008 14:55 Go to previous message
Dani Megert is currently offline Dani Megert
Messages: 3801
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
Re: Disable a document due to some event [message #601791 is a reply to message #75534] Wed, 17 September 2008 18:47 Go to previous message
Wayne Beaton is currently offline Wayne Beaton
Messages: 498
Registered: July 2009
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
Previous Topic:Disable a document due to some event
Next Topic:Which project containt feature - choice Web browser
Goto Forum:
  


Current Time: Tue Sep 16 03:02:34 GMT 2014

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

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