From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q47KpTtW020999 for ; Mon, 7 May 2012 22:51:29 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag8BAIg1qE/RVdc2imdsb2JhbABEsxcIIgEBAQoJDQcSBiOCJQIsARseAxIQXQERAQUBFkGHXQEDCwuZXYJeCQOMJIJzhQ0KGScNV4h2AQULjVeDJgSVfoERjVE9hA0 X-IronPort-AV: E=Sophos;i="4.75,545,1330902000"; d="scan'208";a="142875982" Received: from mail-lpp01m010-f54.google.com ([209.85.215.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 May 2012 22:51:24 +0200 Received: by lagv3 with SMTP id v3so6762384lag.27 for ; Mon, 07 May 2012 13:51:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=Ephi0kMl1Fukdg8n5NXAtEZIcz8U/Gt/Y2ppf4FYvLc=; b=QO+BHb19s3ACv5ehxE+Ak79jdeCvbgnAS7JjVTJR0XsIRUDCBb8KK1rai7+s7gtUES tSiz0Pfw0OOebDAXG1Bfs+rVvRX53cEPb9mcIbsNtnaL22b7TWu+WHC0RHvFZtzNxaJs a6EdpHZz1mnJ5DgGW1o7qrYBmGuUVidBJcEeTgj6z51iycsOZSrIaDyYGt6vZZ7fi4Eh 0q2e0vD/vsyuhWQ7LbLiDib4JwNRrbwJW9tqNUl0ueIjeuvrvgonmjIAABf+z3367ZpJ 636UAjlIRoZD9fm9grMltoji4A4O/gj17nyBDZqF22Cn2TtB/Hlvs+XvOUSevhwXt5pZ 0Swg== MIME-Version: 1.0 Received: by 10.112.9.130 with SMTP id z2mr8012058lba.83.1336423883587; Mon, 07 May 2012 13:51:23 -0700 (PDT) Received: by 10.112.115.229 with HTTP; Mon, 7 May 2012 13:51:23 -0700 (PDT) Date: Mon, 7 May 2012 21:51:23 +0100 Message-ID: From: Joel Reymont To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] lag when using typerex Is it just me or is there a significant lag when using TypeRex in Emacs? This is particularly noticeable when deleting by using the backspace key. -------------------------------------------------------------------------- Working on AlgoKit, a new algorithmic trading platform using Rithmic R|API ---------------------+------------+--------------------------------------- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+---------------------------------------