view client/digitallibrary/greyskin/quality.png @ 881:b95510ec127b jquery

use setstate in redisplay instead of pushstate as long as we don't deal with popstate (i.e. history-back).
author robcast
date Thu, 07 Apr 2011 10:22:26 +0200
parents 9688219d4245
children
line wrap: on
line source

(binary:image/png)