From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: Cuirass enhancements Date: Wed, 19 Jun 2019 21:49:50 +0200 Message-ID: <87muidmk2p.fsf@elephly.net> References: <20190618195025.62b32955@alma-ubu> <20190619180731.1eaf1ed6@scratchpost.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:56700) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hdgb2-0004tb-Dw for guix-devel@gnu.org; Wed, 19 Jun 2019 15:50:23 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hdgaz-0000FE-1J for guix-devel@gnu.org; Wed, 19 Jun 2019 15:50:14 -0400 Received: from sender4-of-o53.zoho.com ([136.143.188.53]:21333) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hdgav-0008Le-7O for guix-devel@gnu.org; Wed, 19 Jun 2019 15:50:12 -0400 In-reply-to: <20190619180731.1eaf1ed6@scratchpost.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Danny Milosavljevic Cc: guix-devel@gnu.org Danny Milosavljevic writes: > On Tue, 18 Jun 2019 19:50:25 +0200 > Bj=C3=B6rn H=C3=B6fling wrote: > >> * I would like to know that I'm on page k/n. > > That web interface is a frontend to a dynamically changing database > (and a quickly changing database at that). > > What would "page" even mean there? Since real constant pages are impossible (or can only be approximated) I=E2=80=99d like to know just how far to the beginning or end I am. It doesn=E2=80=99t need to be a number. If it was just a line at the bottom with a marker near the beginning, the middle, or the end, and adjusting its position as I go to the next or previous page I=E2=80=99d already be ha= ppy. -- Ricardo