tree 484eeaaa6ad7992980b980da1d9e0004bc6141f3
parent 09f78d2d407ab66a19878c676f9fd1854377b0ed
author Christian Gabrisch <eclipse@cgabrisch.de> 1607279952 +0100
committer Christian Gabrisch <eclipse@cgabrisch.de> 1607699489 +0100

Bug 45017 - Enable Find Next, Find Previous in console

Provide actions for commands org.eclipse.ui.edit.findNext,
org.eclipse.ui.edit.findPrevious in text consoles.

Change-Id: Id4589100923241b85dc19c6d5afc3e33518ced9a
Signed-off-by: Christian Gabrisch <eclipse@cgabrisch.de>