From: <kp...@us...> - 2007-09-30 20:52:44
|
Revision: 10775 http://jedit.svn.sourceforge.net/jedit/?rev=10775&view=rev Author: kpouer Date: 2007-09-30 13:52:43 -0700 (Sun, 30 Sep 2007) Log Message: ----------- added some explicit folds Modified Paths: -------------- jEdit/trunk/org/gjt/sp/jedit/gui/InputHandler.java Modified: jEdit/trunk/org/gjt/sp/jedit/gui/InputHandler.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/gui/InputHandler.java 2007-09-30 19:41:13 UTC (rev 10774) +++ jEdit/trunk/org/gjt/sp/jedit/gui/InputHandler.java 2007-09-30 20:52:43 UTC (rev 10775) @@ -96,6 +96,7 @@ public abstract void removeAllKeyBindings(); //}}} + //{{{ handleKey() method /** * Handles a keystroke. * @param keyStroke The key stroke. @@ -105,8 +106,9 @@ public final boolean handleKey(KeyEventTranslator.Key keyStroke) { return handleKey(keyStroke, false); - } + } //}}} + //{{{ processKeyEvent() method /** * Forwards key events directly to the input handler. * This is slightly faster than using a KeyListener @@ -479,9 +481,8 @@ invokeAction(lastAction); } //}}} - //{{{ Instance variables - protected View view; + protected final View view; protected EditAction lastAction; @@ -592,6 +593,4 @@ readNextChar = null; } //}}} - - //}}} } This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |