Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
ledit bug "paste"
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1997-02-24 (18:06)
From: Daniel de Rauglaudre <ddr@p...>
Subject: ledit bug "paste"
Since the first distribution of "ledit", a bug has been signaled and it
is now fixed. If your "ledit" has this problem, please take the last

The bug is the following: if you paste a text with a lot of
parentheses, it is very slow, for "ledit" wait one second for each
closing parenthesis, the time to show the matching opening
parenthesis. In the last version, the bug is fixed and the "paste" is

Thank you.


 Projet Cristal - INRIA Rocquencourt
 Tel: +33 (01) 39 63 53 51