From: <kp...@us...> - 2008-06-23 19:40:35
|
Revision: 12886 http://jedit.svn.sourceforge.net/jedit/?rev=12886&view=rev Author: kpouer Date: 2008-06-23 12:40:28 -0700 (Mon, 23 Jun 2008) Log Message: ----------- removed a dependency on MiscUtilities Modified Paths: -------------- jEdit/trunk/org/gjt/sp/jedit/input/TextAreaInputHandler.java Modified: jEdit/trunk/org/gjt/sp/jedit/input/TextAreaInputHandler.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/input/TextAreaInputHandler.java 2008-06-23 19:37:09 UTC (rev 12885) +++ jEdit/trunk/org/gjt/sp/jedit/input/TextAreaInputHandler.java 2008-06-23 19:40:28 UTC (rev 12886) @@ -23,14 +23,13 @@ //{{{ Imports import org.gjt.sp.jedit.Debug; -import org.gjt.sp.jedit.MiscUtilities; import org.gjt.sp.jedit.gui.GrabKeyDialog; import org.gjt.sp.jedit.gui.KeyEventTranslator; import org.gjt.sp.jedit.gui.KeyEventWorkaround; import org.gjt.sp.jedit.textarea.TextArea; import org.gjt.sp.util.Log; +import org.gjt.sp.util.StandardUtilities; -import javax.swing.*; import java.awt.*; import java.awt.event.KeyEvent; import java.util.Hashtable; @@ -51,7 +50,7 @@ private final TextArea textArea; //{{{ TextAreaInputHandler constructor - public TextAreaInputHandler(TextArea textArea) + protected TextAreaInputHandler(TextArea textArea) { this.textArea = textArea; bindings = currentBindings = new Hashtable(); @@ -67,6 +66,7 @@ * @param global it is only true if the event comes from the DefaultKeyboardFocusManager * @since 4.3pre7 */ + @Override public void processKeyEvent(KeyEvent evt, int from, boolean global) { if(Debug.DUMP_KEY_EVENTS) @@ -169,6 +169,7 @@ * @param action The action * @since jEdit 4.2pre1 */ + @Override public void invokeAction(String action) { invokeAction(getAction(action)); @@ -180,6 +181,7 @@ * necessary. * @param action The action */ + @Override public void invokeAction(JEditBeanShellAction action) { JEditBuffer buffer = textArea.getBuffer(); @@ -240,6 +242,7 @@ * @param dryRun only calculate the return value, do not have any other effect * @since jEdit 4.2pre5 */ + @Override public boolean handleKey(KeyEventTranslator.Key keyStroke,boolean dryRun) { char input = '\0'; @@ -365,7 +368,7 @@ //{{{ invokeReadNextChar() method protected void invokeReadNextChar(char ch) { - String charStr = MiscUtilities.charsToEscapes(String.valueOf(ch)); + String charStr = StandardUtilities.charsToEscapes(String.valueOf(ch)); // this might be a bit slow if __char__ occurs a lot int index; This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |