[BLUEJ-979] Editor scrolls when changing scope highlights
Load up, for example, the Canvas class from the book figures project. Comment out one of the fields by putting "//" in the leftmost column. It's actually the first slash that does it: changing the indent level of the class scope background causes some kind of update (setParagraphStyle?) which causes the editor to scroll the window -- very irritating.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.1.0