From: Chongkai Zhu (czhu at cs.utah.edu) Date: Tue May 5 16:31:34 EDT 2009 |
|
As titled, in the search bar of DrScheme, the "next" bottom is on the left of "prev" bottom. That's unintuitive. Should they exchange place? Chongkai
Posted on the dev mailing list. |
|