title: Ctrl button doesn't work in Eclipse
body: <p>I use Ubuntu (64 bit). I saw some discussions about <kbd>Ctrl</kbd>+<kbd>Space</kbd>, but in my case I can't do <kbd>Ctrl</kbd>+<kbd>S</kbd>, <kbd>Ctrl</kbd>+<kbd>V</kbd>, <kbd>Ctrl</kbd>+<kbd>Z</kbd>, <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>F</kbd> and, probably, something else (all these cases work fine in other programs, so it's not a keyboard problem). It doesn't work, then it does, then it doesn't again. Is there a way to fix that? Thanks in advance.</p>