[ jEdit-devel ] [ jedit-Bugs-1103435 ] Drive letters case in buffer paths mixed (d: vs. D:)

[SourceForge.net <no...@so...>]

Bugs item #1103435, was opened at 2005-01-16 10:50
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1103435&group_id=588

Category: virtual file systems
Group: normal bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Drive letters case in buffer paths mixed (d: vs. D:)

Initial Comment:
The handling of drive letters is inconsistent.

When opening a file through the filebrowser it depends
on the path that is used: opening a.php from D:\test
results in the file opened as D:\test\a.php, whereas
opening it from d:\test results in d:\test\a.php.

While this is a minor inconsistency with the core it
causes problems with the Bufferlist plugin that has
several tree nodes for the same path then (have not
checked v0.11) or with own macros that use the buffer
name (e.g., I have a macro to ctags -append tags to a
tags file and because of the iconsistency in the drive
letters case I'll get sometimes the same tags twice).
(I've changed the macro to use toLowerCase() on the
buffer's path.)

This is with 4.2 and 4.3pre1.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1103435&group_id=588