From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6D63D7EE4B for ; Wed, 2 Oct 2013 10:20:04 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of martindemello@gmail.com) identity=pra; client-ip=209.85.212.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of martindemello@gmail.com designates 209.85.212.49 as permitted sender) identity=mailfrom; client-ip=209.85.212.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="martindemello@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vb0-f49.google.com) identity=helo; client-ip=209.85.212.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="martindemello@gmail.com"; x-sender="postmaster@mail-vb0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnkDAITWS1LRVdQxlWdsb2JhbABYgz9SgmO/QwgWDgEBAQEHDQkJEiMHgmwBGx4DEhBdAREBBQEiiAYBAw+bEYMDjFKDCoQtChknDWSJAAEFDJNvA4k5jkaBL45hGCmEbhw X-IPAS-Result: AnkDAITWS1LRVdQxlWdsb2JhbABYgz9SgmO/QwgWDgEBAQEHDQkJEiMHgmwBGx4DEhBdAREBBQEiiAYBAw+bEYMDjFKDCoQtChknDWSJAAEFDJNvA4k5jkaBL45hGCmEbhw X-IronPort-AV: E=Sophos;i="4.90,1017,1371074400"; d="scan'208";a="28800020" Received: from mail-vb0-f49.google.com ([209.85.212.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Oct 2013 10:20:03 +0200 Received: by mail-vb0-f49.google.com with SMTP id w16so271291vbb.36 for ; Wed, 02 Oct 2013 01:20:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=d+HdsGFJlwYImnQHyzqeOxWezEJbeGCZikGBmCrQXfI=; b=0f9UfOOzWlC4eKBmnaNU9fDSO5tTe/9ioBsTLpyplQ3e/7+YNDMfkxLdHfB2duahYY 7qntfHz+d5hAQH0txTtHaPuWMi/grD6kUftm7sotMWqz5ynoq9pTG9rIeeGFtL6A+h/k 7kH+Q0nyLjjVmD9WRvAPFP1vI/2YdQrEFsvzkSemPbIvKsmLy0hyRxTLCn63YGlGF91f TFw8lx4reC+Ut/gKxABmVPN6OKVcvV3vCumBm3r6t0KfR2y9NPKgNKsKRFfrtwQngR3v HRyEk2G7BgxEEpNwneatg79hxdIgHMmNwAwpzSbn8wxbUEHtiETeazyeL4DDSK4obc/n t5/Q== MIME-Version: 1.0 X-Received: by 10.58.133.66 with SMTP id pa2mr887365veb.18.1380702002522; Wed, 02 Oct 2013 01:20:02 -0700 (PDT) Received: by 10.220.162.197 with HTTP; Wed, 2 Oct 2013 01:20:02 -0700 (PDT) Date: Wed, 2 Oct 2013 01:20:02 -0700 Message-ID: From: Martin DeMello To: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] ledit not handling home/end sequences properly Want to check before sending the patch in - can anyone reproduce this issue, or is it some peculiarity of my setup? I needed to add the following patch to ledit-2.0.3 to get home/end handled properly on terminals other than xterm: diff -r ledit-2.03/ledit.ml ledit-mine/ledit.ml 446c446,453 < ("\\e[OH", Beginning_of_line) :: --- > ("\\e[OH", Beginning_of_line); > (* gnome-terminal *) > ("\\eOH", Beginning_of_line); (* Home *) > ("\\eOF", End_of_line); (* End *) > (* rxvt *) > ("\\e[7~", Beginning_of_line); (* Home *) > ("\\e[8~", End_of_line) (* End *) > :: martin