ajaxorg/cloud9 — pull request #1526 by javruben (2012-05-14 19:01:27+00:00)
Title: * Now settings doesn't slow everything down anymore.

Easy fix for a big nuisance.