* [Caml-list] ledit not handling home/end sequences properly
@ 2013-10-02 8:20 Martin DeMello
2013-10-02 8:39 ` Sébastien Dailly
2013-10-02 8:48 ` Daniel de Rauglaudre
0 siblings, 2 replies; 5+ messages in thread
From: Martin DeMello @ 2013-10-02 8:20 UTC (permalink / raw)
To: caml-list
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
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] ledit not handling home/end sequences properly
2013-10-02 8:20 [Caml-list] ledit not handling home/end sequences properly Martin DeMello
@ 2013-10-02 8:39 ` Sébastien Dailly
2013-10-02 8:48 ` Daniel de Rauglaudre
1 sibling, 0 replies; 5+ messages in thread
From: Sébastien Dailly @ 2013-10-02 8:39 UTC (permalink / raw)
To: Martin DeMello; +Cc: caml-list
[-- Attachment #1: Type: TEXT/PLAIN, Size: 395 bytes --]
On Wed, 2 Oct 2013, Martin DeMello wrote:
> 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:
I've the same problem with ledit. This is the reason why I switched to
rlwrap wich works fine.
--
Sébastien
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] ledit not handling home/end sequences properly
2013-10-02 8:20 [Caml-list] ledit not handling home/end sequences properly Martin DeMello
2013-10-02 8:39 ` Sébastien Dailly
@ 2013-10-02 8:48 ` Daniel de Rauglaudre
2013-10-02 19:51 ` Martin DeMello
1 sibling, 1 reply; 5+ messages in thread
From: Daniel de Rauglaudre @ 2013-10-02 8:48 UTC (permalink / raw)
To: caml-list
Hi,
Added for version 2.04. Thank you.
On Wed, Oct 02, 2013 at 10:20:15AM +0200, Martin DeMello wrote:
> 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
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
--
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] ledit not handling home/end sequences properly
2013-10-02 8:48 ` Daniel de Rauglaudre
@ 2013-10-02 19:51 ` Martin DeMello
2013-10-08 9:41 ` Daniel de Rauglaudre
0 siblings, 1 reply; 5+ messages in thread
From: Martin DeMello @ 2013-10-02 19:51 UTC (permalink / raw)
To: Daniel de Rauglaudre; +Cc: caml-list
Great :) Could you also add a META file for ledit_lib in the next
release? (I'm currently maintaining my own at
https://github.com/martindemello/varix/blob/master/META.ledit_lib)
martin
On Wed, Oct 2, 2013 at 1:48 AM, Daniel de Rauglaudre
<daniel.de_rauglaudre@inria.fr> wrote:
> Hi,
>
> Added for version 2.04. Thank you.
>
> On Wed, Oct 02, 2013 at 10:20:15AM +0200, Martin DeMello wrote:
>> 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
>>
>> --
>> Caml-list mailing list. Subscription management and archives:
>> https://sympa.inria.fr/sympa/arc/caml-list
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
> --
> Daniel de Rauglaudre
> http://pauillac.inria.fr/~ddr/
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] ledit not handling home/end sequences properly
2013-10-02 19:51 ` Martin DeMello
@ 2013-10-08 9:41 ` Daniel de Rauglaudre
0 siblings, 0 replies; 5+ messages in thread
From: Daniel de Rauglaudre @ 2013-10-08 9:41 UTC (permalink / raw)
To: caml-list
Hi,
On Wed, Oct 02, 2013 at 09:51:57PM +0200, Martin DeMello wrote:
> Great :) Could you also add a META file for ledit_lib in the next
> release? (I'm currently maintaining my own at
> https://github.com/martindemello/varix/blob/master/META.ledit_lib)
Sorry, I don't maintain the META file for ledit any more. This is
about a software I don't use, I cannot test it and I don't want to.
--
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2013-10-08 9:41 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-10-02 8:20 [Caml-list] ledit not handling home/end sequences properly Martin DeMello
2013-10-02 8:39 ` Sébastien Dailly
2013-10-02 8:48 ` Daniel de Rauglaudre
2013-10-02 19:51 ` Martin DeMello
2013-10-08 9:41 ` Daniel de Rauglaudre
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox