XIDE: Rename file

[Irwin]

Hi Chris,

I have created a file but I added (by mistake, copy & paste) a blank space at the beginning of the name, egg: " File.prg" so I tried to rename it by pressing F2 and removing the blank space but when I save (hit enter) it doesn't change the name. I think XIDE thinks the name hasn't changed and ignores white spaces and even capitals because this also doesn't work: "file" to "File" XIDE keeps the original name.

[wriedmann]

Hi Irwin,
in this case you should change the name adding a normal character to it, and then remove that character after the successful rename.
Wolfgang

[Irwin]

Hi Irwin,
in this case you should change the name adding a normal character to it, and then remove that character after the successful rename.
Wolfgang

Thanks Wolfgang, nice trick but I'm still thinking this should be enhanced someway.