|
From: Slava P. <sl...@je...> - 2001-10-27 04:19:11
|
Hi,
I would like to fix this bug in jEdit 4.0pre1.
Can you try the following BeanShell code in Utilities->Evaluate
BeanShell Expression:
new java.io.File("<full path to myfile").renameTo(new
java.io.File("<full path to MyFile"));
And tell if it works.
Slava
On Fri, Oct 12, 2001 at 04:59:09PM +0000, gerald Quintana wrote:
> Hi,
>=20
> In the File System Browser pane, I noticed that changing
> file name from "MyFile" to "myfile" was not allowed since
> jEdit believes you're going to overwrite a file. It's true
> that with Windows you can not have 2 files called "MyFile"
> and "myfile" in the same directory because file name
> comparison is case insensitive. Nevertheless you can change
> file name between "MyFile" and "myfile" with Windows Explorer.=20
>=20
> At the same time I also noticed that the following useless
> scenario didn't work either:
> - Right clic on a file
> - Choose "Rename" in contextual menu
> - Leave name unchanged and press OK
>=20
> I wonder what happens running jEdit under Unix (where file
> system is case sensitive)? Does it work better?
>=20
> Cheers,
> Gerald
>=20
> Context: jEdit 3.2.2/Sun JDK 1.3.0/WinNT 4SP6
> ______________________________________________________
> Bo=EEte aux lettres - Caramail - http://www.caramail.com
>=20
|