From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from MTA-13-4.privateemail.com ([198.54.127.109]) by ewsd; Mon Jul 27 18:07:08 EDT 2020 Received: from mta-13.privateemail.com (localhost [127.0.0.1]) by mta-13.privateemail.com (Postfix) with ESMTP id 46BE980065 for <9front@9front.org>; Mon, 27 Jul 2020 18:06:59 -0400 (EDT) Received: from localhost (unknown [10.20.151.222]) by mta-13.privateemail.com (Postfix) with ESMTPA id E67D580061 for <9front@9front.org>; Mon, 27 Jul 2020 22:06:56 +0000 (UTC) Date: Mon, 27 Jul 2020 15:06:51 -0700 From: Anthony Martin To: 9front@9front.org Subject: Re: [9front] The 9 Documentation Project Message-ID: <20200727220651.GA150416@alice> References: <44A75FA2-F810-45DA-8264-6DBB810C53F1@stanleylieber.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Virus-Scanned: ClamAV using ClamSMTP List-ID: <9front.9front.org> List-Help: X-Glyph: ➈ X-Bullshit: immutable overflow-preventing SOAP over HTTP STM GPU-aware frontend ori@eigenstate.org once said: > I'm not aware of anything that documents the rather unique ways we > handle scrolling, where how far up the window you are affects how > quick the scrolling goes. From rio(1): Mousing inside the scroll bar moves text: clicking button 1 with the mouse pointing inside the scroll bar brings the line at the top of the win- dow to the cursor's vertical location; button 3 takes the line at the cursor to the top of the window; button 2, treating the scroll bar as a ruler, jumps to the indicated portion of the stored text. Holding a button pressed in the scroll bar will cause the text to scroll continuously until the button is released. Cheers, Anthony