joshua-decoder/joshua — pull request #59 by jweese (2012-10-24 18:23:43+00:00)
Title: Tree visualizer: improved search function

1) when a query is not found, the search box turns red

2) pressing Enter goes to the next sentence where the query is
present