calebegg/try-acl2 — Issue #4: Scroll jumps around while typing
Author: jeremy-w
Created: 2011-11-18 19:56:50+00:00
State: open

Once the text area starts to scroll:

* Inserting a character jumps to the bottom then nearly to the top.
* Deleting a character jumps to the bottom and stays there.
* Arrowing through history jumps to the bottom and stays there.

This affects Firefox 10.0a2 (Aurora channel) under OS X 10.7.2. The custom scrollbar also does not appear in that browser.

Safari version 5.1.1 (7534.51.22) does not show these problems. It's possible they'll go away by the time FireFox 10.0 becomes beta or release, but it's something to keep an eye on.