From: Daniel de Rauglaudre <ddr@peray.inria.fr>
Message-Id: <199702241213.AA06006@peray.inria.fr>
Subject: ledit bug "paste"
To: caml-list@inria.fr
Date: Mon, 24 Feb 1997 13:13:53 +0100 (MET)
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
version:
ftp://ftp.inria.fr/lang/chamau/ledit.tar.gz
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
immediate.
Thank you.
--------------------------------------------------------------------------
Daniel de RAUGLAUDRE
Projet Cristal - INRIA Rocquencourt
Tel: +33 (01) 39 63 53 51
Email: daniel.de_rauglaudre@inria.fr
Web: http://pauillac.inria.fr:80/~ddr/
--------------------------------------------------------------------------
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:09 MET