ajaxorg/cloud9 — pull request #1553 by gjtorikian (2012-05-16 21:12:51+00:00)
Title: Mostly fixes for FF

1. Disables search anims for FF
2. Disabels regexp coloring for FF
3. Disables multiline for FF