| [AGR] widgetReg.xml not read dynamically [message #105203] |
Tue, 17 July 2007 06:08  |
Eclipse User |
|
|
|
Hello.
I know from the documentation that, when changes are applied to the
widgetReg.xml file, these changes should be read into Eclipse
dynamically. I find that this is not the case in TPTP/AGR 4.4. I have to
the workbench down and then up again to get it to recognise the changes.
Is this a bug in the code or in the documentation or am I
misinterpreting something?
TIA,
B.
|
|
|
| Re: [AGR] widgetReg.xml not read dynamically [message #105288 is a reply to message #105203] |
Tue, 17 July 2007 12:14  |
| Eclipse User |
|
|
|
Hi Barbara,
You are correct in that the workbench should not have to be restarted to
pick up your changes. If you can consistently reproduce this please open a
defect in Bugzilla.
Sincerely,
Liz Dancy
"Barbara Rosi-Schwartz" <Barbara.Rosi-Schwartz@Etish.org> wrote in message
news:f7i4f3$3mu$1@build.eclipse.org...
> Hello.
>
> I know from the documentation that, when changes are applied to the
> widgetReg.xml file, these changes should be read into Eclipse dynamically.
> I find that this is not the case in TPTP/AGR 4.4. I have to the workbench
> down and then up again to get it to recognise the changes.
>
> Is this a bug in the code or in the documentation or am I misinterpreting
> something?
>
> TIA,
> B.
|
|
|
Powered by
FUDForum. Page generated in 0.03894 seconds
Home