[platform-dev] Heads up: platform & JDT search API change

[Thomas Maeder <Thomas_Maeder@xxxxxxxxxx>]

Sorry for the late change, but in order
to fix https://bugs.eclipse.org/bugs/show_bug.cgi?id=51345 (double
clicking a search result leaves focus on search pane instead of editor
)  we have decided to make the
follwing changes in the  platform search/JDT search API:

org.eclipse.search.ui.text.AbstractTextSearchViewPage.showMatch(Match
match, int currentOffset, int currentLength) throws PartInitException;
becomes: 
org.eclipse.search.ui.text.AbstractTextSearchViewPage.showMatch(Match
match, int currentOffset, int currentLength, boolean activateEditor) throws
PartInitException; 

I will deprecate the old method and the new method will forward to the
old one per default. We plan to remove the deprecated method in the integration
build of May 17, so please take the time to change your implementation
if you're contributing to the Eclipse SDK. 

In consequence, we'll have to change the java search participant API in
this way: 

org.eclipse.jdt.ui.search.IMatchPresentation.showMatch(Match
match, int currentOffset, int currentLength) throws PartInitException;
will change to 
org.eclipse.jdt.ui.search.IMatchPresentation.showMatch(Match
match, int currentOffset, int currentLength, boolean activate) throws PartInitException;

We're not aware that anyone is already implementing this interface, so
we don't expect any repercussions. 

Thomas