Skip to main content


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 SheelaFriend
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 MegertFriend
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
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 BeatonFriend
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
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 MegertFriend
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
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 BeatonFriend
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
Previous Topic:Disable a document due to some event
Next Topic:Which project containt feature - choice Web browser
Goto Forum:
  


Current Time: Sat Oct 05 16:10:01 GMT 2024

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

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

Back to the top