XIDE: Rename file
Posted: Fri Jan 31, 2025 1:05 pm
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.
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.