diff options
| author | Mike Kucera | 2013-04-11 15:01:51 +0000 |
|---|---|---|
| committer | Chris Recoskie | 2013-04-11 15:06:56 +0000 |
| commit | d21301a15562fbcad83d4778c75cbe53e26444f8 (patch) | |
| tree | 2411e29b8ac4a6b54005ef86b26bed128ee37f3c | |
| parent | 32d711e545c44875dd3086d244e2c7585035a42e (diff) | |
| download | org.eclipse.ptp-d21301a15562fbcad83d4778c75cbe53e26444f8.tar.gz org.eclipse.ptp-d21301a15562fbcad83d4778c75cbe53e26444f8.tar.xz org.eclipse.ptp-d21301a15562fbcad83d4778c75cbe53e26444f8.zip | |
Bug 404566 - Add tie-breaking to editorInfoProvider extension point.
| -rw-r--r-- | rdt/org.eclipse.ptp.rdt.editor/src/org/eclipse/ptp/rdt/editor/info/RemoteCInfoProviderUtilities.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rdt/org.eclipse.ptp.rdt.editor/src/org/eclipse/ptp/rdt/editor/info/RemoteCInfoProviderUtilities.java b/rdt/org.eclipse.ptp.rdt.editor/src/org/eclipse/ptp/rdt/editor/info/RemoteCInfoProviderUtilities.java index 35ed1eb8d..65c049f1d 100644 --- a/rdt/org.eclipse.ptp.rdt.editor/src/org/eclipse/ptp/rdt/editor/info/RemoteCInfoProviderUtilities.java +++ b/rdt/org.eclipse.ptp.rdt.editor/src/org/eclipse/ptp/rdt/editor/info/RemoteCInfoProviderUtilities.java @@ -61,6 +61,7 @@ public class RemoteCInfoProviderUtilities { continue;
if(applicable > highestVal)
winner = provider;
+ highestVal = Math.max(applicable, highestVal);
}
return winner;
|