[BLUEJ-229] Find/find next/find previous do not work properly in documentation view
Find/find next/find previous do not work properly in documentation view. Various problems including jumping from one found instance to the next one as keys are typed, and exceptions (particularly when next/previous are used).
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 3.0.0