posted 17 years ago
In some cases on Linux, the Eclipse key definitions conflict with the GUI desktop (gnome, kde or whatever) key definitions. In most cases, Eclipse loses.
There are times when I suspect that there's a few key definitions that just weren't defined properly in Eclipse, too, but I've never made a serious study of the matter. Most of the popular keystrokes work.
Experience keeps a dear School, but Fools will learn in no other.
---
Benjamin Franklin - Postal official and Weather observer