[Jython-checkins] SF.net SVN: jython:[6324] trunk/jython/src/org/python/util/ jline-keybindings.properties

[<pj...@us...>]

Revision: 6324
          http://jython.svn.sourceforge.net/jython/?rev=6324&view=rev
Author:   pjenvey
Date:     2009-05-10 05:54:19 +0000 (Sun, 10 May 2009)

Log Message:
-----------
jline's keybindings.properties from its trunk (r1.8)

Added Paths:
-----------
    trunk/jython/src/org/python/util/jline-keybindings.properties

Added: trunk/jython/src/org/python/util/jline-keybindings.properties
===================================================================
--- trunk/jython/src/org/python/util/jline-keybindings.properties	                        (rev 0)
+++ trunk/jython/src/org/python/util/jline-keybindings.properties	2009-05-10 05:54:19 UTC (rev 6324)
@@ -0,0 +1,62 @@
+# Keybinding mapping for JLine. The format is:
+#    [key code]: [logical operation]
+
+# CTRL-B: move to the previous character
+2: PREV_CHAR
+
+# CTRL-G: move to the previous word
+7: PREV_WORD
+
+# CTRL-F: move to the next character
+6: NEXT_CHAR
+
+# CTRL-A: move to the beginning of the line
+1: MOVE_TO_BEG
+
+# CTRL-D: close out the input stream
+4: EXIT
+
+# CTRL-E: move the cursor to the end of the line
+5: MOVE_TO_END
+
+# BACKSPACE, CTRL-H: delete the previous character
+# 8 is the ASCII code for backspace and therefor
+# deleting the previous character
+8: DELETE_PREV_CHAR
+
+# TAB, CTRL-I: signal that console completion should be attempted
+9: COMPLETE
+
+# CTRL-J, CTRL-M: newline
+10: NEWLINE
+
+# CTRL-K: erase the current line
+11: KILL_LINE
+
+# ENTER: newline
+13: NEWLINE
+
+# CTRL-L: clear screen
+12: CLEAR_SCREEN
+
+# CTRL-N: scroll to the next element in the history buffer
+14: NEXT_HISTORY
+
+# CTRL-P: scroll to the previous element in the history buffer
+16: PREV_HISTORY
+
+# CTRL-R: redraw the current line
+18: REDISPLAY
+
+# CTRL-U: delete all the characters before the cursor position
+21: KILL_LINE_PREV
+
+# CTRL-V: paste the contents of the clipboard (useful for Windows terminal)
+22: PASTE
+
+# CTRL-W: delete the word directly before the cursor
+23: DELETE_PREV_WORD
+
+# DELETE, CTRL-?: delete the previous character
+# 127 is the ASCII code for delete
+127: DELETE_PREV_CHAR


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.