* ledit bug "paste"
@ 1997-02-24 12:13 Daniel de Rauglaudre
0 siblings, 0 replies; only message in thread
From: Daniel de Rauglaudre @ 1997-02-24 12:13 UTC (permalink / raw)
To: caml-list
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/
--------------------------------------------------------------------------
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1997-02-24 18:06 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-02-24 12:13 ledit bug "paste" 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