[BLUEJ-206] Deleting characters in the editor is slow
The editor is very slow when using backspace or delete to delete characters. According to the Activity Monitor it uses more than 100% of the CPU when holding down the backspace key.
This is on a Mac Air running Leopard.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 3.0.0