ajaxorg/cloud9 — Issue #453: Code settings don't get applied upon refresh
Author: mattpardee
Created: 2011-11-15 11:28:00+00:00
State: open

Some settings have been manually overridden so it's inconsistent/deceptive, however the settings properly stored in the model don't get applied upon refresh. One such example is "Highlight Line", reported by @aboushley