Browse thread
ledit bug "paste"
- Daniel de Rauglaudre
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| 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 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/ --------------------------------------------------------------------------