diff options
| author | Mike Kucera | 2013-04-11 15:01:51 +0000 |
|---|---|---|
| committer | Chris Recoskie | 2013-04-11 15:01:51 +0000 |
| commit | 398882ade0cc3e49f72c671ec9ad472891259873 (patch) | |
| tree | 772913e46d13722eec086eeba32e0f0cfeeec6a2 | |
| parent | a9dcd2be0dc67fed5bb88cf2d3f149d5e08c98c9 (diff) | |
| download | org.eclipse.ptp-398882ade0cc3e49f72c671ec9ad472891259873.tar.gz org.eclipse.ptp-398882ade0cc3e49f72c671ec9ad472891259873.tar.xz org.eclipse.ptp-398882ade0cc3e49f72c671ec9ad472891259873.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;
|