diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2020-05-24 13:16:05 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2020-05-24 13:16:05 -0400 |
| commit | 06f7a36d5fa444d15b3b66799b547cac57d9abc7 (patch) | |
| tree | d1deac0aa6a9195c95b3b7e5bd8ebafa8041d685 /src | |
| parent | 72a0869cabbf22d703d81f1e51db248e4f311d93 (diff) | |
| download | textadept-06f7a36d5fa444d15b3b66799b547cac57d9abc7.tar.gz textadept-06f7a36d5fa444d15b3b66799b547cac57d9abc7.zip | |
Always use capital drive letters when opening files in Windows.
Since Windows filenames are case-insensitive, mismatched drive letter case may
cause the same file to be open twice.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions