equal
deleted
inserted
replaced
1 diff -ru 5.3.0/jEdit/org/gjt/sp/jedit/io/VFSFile.java 5.3.0/jEdit-patched/org/gjt/sp/jedit/io/VFSFile.java |
|
2 --- 5.3.0/jEdit/org/gjt/sp/jedit/io/VFSFile.java 2015-10-20 19:56:08.000000000 +0200 |
|
3 +++ 5.3.0/jEdit-patched/org/gjt/sp/jedit/io/VFSFile.java 2015-10-23 20:06:27.874803025 +0200 |
|
4 @@ -82,16 +82,7 @@ |
|
5 } |
|
6 else if(matchAgainst.regionMatches(true,0,str,0,strLen)) |
|
7 { |
|
8 - /* Keep the first match with exact length but different case. |
|
9 - * If the first match is not same length, prefer longest match */ |
|
10 - if(iPotentialMatch == -1 |
|
11 - || (potentialMatchGTStr |
|
12 - && (matchAgainst.length() > potentialMatchLen))) |
|
13 - { |
|
14 - potentialMatchLen = matchAgainst.length(); |
|
15 - iPotentialMatch = i; |
|
16 - potentialMatchGTStr = potentialMatchLen > strLen; |
|
17 - } |
|
18 + return i; |
|
19 } |
|
20 } |
|
21 |
|