Craig Gilchrist wrote:
The loss of file-specific options when moving the file appears to be a 'quirk' of Eclipse; I have logged a bug in our bug tracking database so it can be investigated, but suspect this may be an underlying Eclipse behaviour.
Hi,
Just to follow up on this one point; the IDDE Team confirmed this is an outstanding Eclipse bug:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=358378
Regards,
Craig.