From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 81350 invoked by alias); 26 Nov 2017 03:32:53 -0000 Mailing-List: contact kawa-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: kawa-owner@sourceware.org Received: (qmail 81333 invoked by uid 89); 26 Nov 2017 03:32:51 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.4 required=5.0 tests=AWL,BAYES_00,KB_WAM_FROM_NAME_SINGLEWORD,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 spammy=H*Ad:U*kawa X-HELO: aibo.runbox.com Received: from aibo.runbox.com (HELO aibo.runbox.com) (91.220.196.211) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Sun, 26 Nov 2017 03:32:49 +0000 Received: from [10.9.9.210] (helo=mailfront10.runbox.com) by mailtransmit02.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1eIngT-0007pp-Js; Sun, 26 Nov 2017 04:32:45 +0100 Received: from 32.109.34.95.customer.cdi.no ([95.34.109.32] helo=localhost.localdomain) by mailfront10.runbox.com with esmtpsa (uid:757155 ) (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128) (Exim 4.82) id 1eIngA-0008Md-R4; Sun, 26 Nov 2017 04:32:26 +0100 Subject: Re: Prompt on read From: Per Bothner To: kawa@sourceware.org, Helmut Eller References: <964c1080-8e56-e60f-a3cd-f14eb12a44be@bothner.com> Message-ID: <75585476-c920-c0e1-8fd2-c1cd53cff238@bothner.com> Date: Sun, 26 Nov 2017 03:32:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 In-Reply-To: <964c1080-8e56-e60f-a3cd-f14eb12a44be@bothner.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2017-q4/txt/msg00044.txt.bz2 I checked in two little fixes in line-number handing of read/read-line in the repl. The first fix makes line numbers work correctly when calling read or repl-line from the REPL, at least then the jline library is not used (console:use-jline=no). (The jline library provides readline-like input editing.) The second fix was specifically to the jline interface (JLineInPort.java) and causes the proper line-numbers to be displayed when read-line is called when console:use-jline=yes. There is still a line-number bug when read is called when using jline. (The Kawa/jline interface is complicated and this case is mot a priority.) -- --Per Bothner per@bothner.com http://per.bothner.com/