pour faire marcher le control-k

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3786 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/ide/.coqiderc b/ide/.coqiderc
index 68d0a56c44..43883c5ff2 100644
--- a/ide/.coqiderc
+++ b/ide/.coqiderc
@@ -1,6 +1,6 @@
 binding "text" {
   bind "<ctrl>k" { "set-anchor" ()
-		   "move-cursor" (paragraphs,1,0)
+		   "move-cursor" (display-lines,1,0)
 		   "cut-clipboard" ()	
 		}
   bind "<ctrl>x" { }