On Sun, 17 Mar 2013 09:55:54 PM Michael T. Pope wrote:
> We have some fresh commentary on BR#2394, the dreaded autoscroll bug, which
> might now be reproducible, so I started digging...
But what I dug up in ColonyPanel turns out to be irrelevant, and indeed
obsolete (I will remove that code in du
We have some fresh commentary on BR#2394, the dreaded autoscroll bug, which
might now be reproducible, so I started digging. I really do not understand
much about how the Java Autoscroll interface is supposed to work, but in
ColonyPanel.java / ASingleBuildingPanel.autoscroll():
