Make jEdit compile with Java 1.6 (get rid of error messages like "/root/work/jedit/svn2/jEdit/trunk/org/gjt/sp/jedit/jEdit.java:2983: reference to DefaultInputHandler is ambiguous, both class org.gjt.sp.jedit.textarea.DefaultInputHandler in org.gjt.sp.jedit.textarea and class org.gjt.sp.jedit.gui.DefaultInputHandler in org.gjt.sp.jedit.gui match").
Some more radical keyboard handling changes...
Disambiguate global key events from local key events
Some infrastructure to disambiguate global key events from local key events
More verbosity.
Radical changes lead to regressions until a new optimimum is reached.
Some more refactoring: removing code duplication.
Some refactoring: removing code duplication.