1 files changed, 9 insertions, 0 deletions
diff --git a/ide/.coqiderc b/ide/.coqiderc
index f533310e7a..9e10620fb2 100644
--- a/ide/.coqiderc
+++ b/ide/.coqiderc
@@ -1,3 +1,12 @@
+binding "text" {
+  bind "<ctrl>k" { "set-anchor" ()
+		   "move-cursor" (paragraphs,1,0)
+		   "cut-clipboard" ()	
+		}
+}
+class "GtkTextView" binding "text"
+
+
 style "views" {
 font_name = "Monospace 10"
 }