[BLUEJ-1259] clear terminal leaves spurious selection
After clearing output in the terminal, the top line is left selected. Selection cannot be removed.
Issue metadata
- Issue type: Task
- Priority: Low
- Fix versions: 4.2.1
After clearing output in the terminal, the top line is left selected. Selection cannot be removed.
Issue metadata