ajaxorg/cloud9 — Issue #913: fix search box out-anim
Author: mikedeboer
Created: 2012-02-06 15:36:06+00:00
State: open

in horizontal splits