ajaxorg/cloud9 — pull request #2155 by lennartcl (2012-09-05 13:01:01+00:00)
Title: [Liskov] Reduce the documentation popup delay

Pretty trivial PR to reduce the documentation popup delay

@ajaxorg/liskov