From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pA388q5O024837 for ; Thu, 3 Nov 2011 09:08:52 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnkEAGJLsk7RVdY2kGdsb2JhbABEqFgWgQEIIgEBAQEJCQ0bBBoHgXIBAQEEEgIsATgBAwwBBQULOx8DEgEFARwGEwgah2iXSAqONIVLiS0CBQqJFASML4dnjTk9gUmCJw X-IronPort-AV: E=Sophos;i="4.69,448,1315173600"; d="scan'208";a="127961414" Received: from mail-bw0-f54.google.com ([209.85.214.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Nov 2011 09:08:46 +0100 Received: by bkbzs2 with SMTP id zs2so1525746bkb.27 for ; Thu, 03 Nov 2011 01:08:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; bh=yBBuFIiKRWLBYd7Uz2juLptB0Kljlbw176OvuOn4RL0=; b=UBlJ75ivl84WR2lH/TMi3vbIHKGec2sbaY8D6OxfsdwazFawqDDc9m8fOjUQaBCp2e etkdx5QFsHQ5sz73KtmbOBTo3jzwgqk8ckIle12vO2ec+pM3yeNrK9EuUoGHA/u7h4PL s1QBVMbRunTOqHBNJv86z1hvsmRnMAYl/vZOk= Received: by 10.204.10.81 with SMTP id o17mr1331551bko.65.1320307726212; Thu, 03 Nov 2011 01:08:46 -0700 (PDT) MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.204.116.140 with HTTP; Thu, 3 Nov 2011 01:08:15 -0700 (PDT) In-Reply-To: <7EB42100-0E5F-4FBB-8CB8-A318926F0E0E@x9c.fr> References: <7EB42100-0E5F-4FBB-8CB8-A318926F0E0E@x9c.fr> From: David MENTRE Date: Thu, 3 Nov 2011 09:08:15 +0100 X-Google-Sender-Auth: EHs6vXTvlJPTb1hPZKHTFdjW-sQ Message-ID: To: "forum@x9c.fr" Cc: caml users Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] [ANN] Argot: 1.0 release Hello, 2011/11/2 forum@x9c.fr : > Preview page (for search feature): http://argot.x9c.fr/distrib/argot-3.12-libref/index.html Would it be possible to have the search page in another tab? I find the opening of a new window annoying and if I middle click on the search icon the same page is opened again in the new tab. Beside that, the search feature is very responsive and quite useful. Best regards, david