search

eclipse-platform / eclipse.platform.text

8 stars 45 forks source link

Search View: also open most nested resource on 2nd open #142

Closed mickaelistria closed 1 year ago

mickaelistria commented 1 year ago

Fixes https://github.com/eclipse-platform/eclipse.platform.text/issues/141

mickaelistria commented 1 year ago

@jjohnstn would you be able to verify it?

jjohnstn commented 1 year ago

@mickaelistria Will do.

jjohnstn commented 1 year ago

Hi @mickaelistria Works great. Just need to bump up org.eclipse.search and it's ready to merge.