Eclipse for Ubuntu

  1. Bug #874244
  2. Comment #3

Comment 3 for bug 874244

Revision history for this message
Jeroen Hoek (mail-jeroenhoek) wrote :

This is a major usability bug in Eclipse. The editors also get disabled when you simply switch workspaces with Ctrl+Alt+Arrow.

I found the upstream bug a while a go, and it has been a known bug in Eclipse for over five years. I can't seem to find the bug report right now though.

Another workaround is minimizing and maximizing Eclipse.