Yes, this has been reported before. Unfortunately, the way to fix it would be to upgrade our current editor to a newer eclipse framework, which would be a huge undertaking.
Instead, we’ve decided to focus on finishing our work on Editor 2, which we’ll soon release for alpha testing (more info here)