{"shas":[["d730031474b734fb976744902f0af4d48296e8d5","a15f8b81a160b4eebe5c84e9e3b65c87b9b2f18e@nexedi.com","Add JavaScript function to allow type in PDF thumbnail page selection in a similar way as listbox type in navigation.","Ivan Tyagov"]],"ref":"refs/heads/master","size":1,"head":"d730031474b734fb976744902f0af4d48296e8d5","push_id":33409157}