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
_________________________________________________
 For list-related administrative tasks:
 http://list.cs.brown.edu/mailman/listinfo/plt-dev

Reply via email to