From d84551b17840a1dc4a13a84231a9bcf3bea73f2b Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 24 Mar 2003 16:18:12 +0000
Subject: pour faire marcher le control-k

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3786 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/.coqiderc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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" { }
-- 
cgit v1.2.3